dekodieren fuer Codemirror

ulrich

2017-03-06 942d637e33c73edd807951f8100634cd659876fa

 web/ui/index.html

@@ -69,8 +69,8 @@
              <a id="editTextFile" class="dropdown-item" href="#">&Ouml;ffnen als Text</a>
              <a id="editDocFile" class="dropdown-item" href="#">&Ouml;ffnen als Dokument</a>
              <div class="dropdown-divider"></div>
              <a class="dropdown-item disabled" href="#">Ansehen als Text</a>
              <a class="dropdown-item disabled" href="#">Ansehen als Dokument</a>
              <a id="viewFile" class="dropdown-item" href="#">Ansehen</a>
              <!--<a class="dropdown-item" href="#">Ansehen als Dokument</a>-->
              <div class="dropdown-divider"></div>
              <a id="saveFile" class="dropdown-item" href="#">Speichern</a>
              <a id="saveFileAs" class="dropdown-item" href="#">Speichern unter..</a>
@@ -201,9 +201,11 @@
    <!-- Skripte -->
    <script src="/jslib/jquery/jquery.min.js"></script>
    <script src="/jslib/codemirror/lib/codemirror.js"></script>
    
    <script src="/jslib/codemirror/mode/javascript/javascript.js"></script>
    <script src="/jslib/codemirror/mode/xml/xml.js"></script>
    <script src="/jslib/codemirror/mode/htmlmixed/htmlmixed.js"></script>
    <script src="/jslib/codemirror/mode/clike/clike.js"></script>
    
    <script src="/jslib/codemirror/addon/display/fullscreen.js"></script>
    <script src="/jslib/tinymce/tinymce.min.js"></script>