MimeType und Dateiname

ulrich

2017-03-08 f7d8bf288844bfaf1270c7bf4f05a2032f67a484

 web/ui/index.html

@@ -87,6 +87,8 @@
              <a id="m-copy" class="dropdown-item" href="#">Kopieren</a>
              <a id="m-paste" class="dropdown-item" href="#">Einf&uuml;gen</a>
              <div class="dropdown-divider"></div>
              <a id="m-shrink" class="dropdown-item" href="#">Verkleinern</a>
              <div class="dropdown-divider"></div>
              <a id="m-del" class="dropdown-item" href="#">L&ouml;schen</a>
            </div>
          </li>