Vorbereitung fuer Tipps zu Klassen- und Methodennamen im Code-Editor

ulrich

2017-03-14 3b7c5b1214f19a70bdaa89b1c518a11ff1a55e03

 web/ui/index.html

@@ -218,6 +218,7 @@
    
    <script src="/jslib/codemirror/addon/display/fullscreen.js"></script>
    <script src="/jslib/tinymce/tinymce.min.js"></script>
    <script src="/jslib/tether/tether.min.js"></script>
    <script src="/jslib/bootstrap/js/bootstrap.min.js"></script>
    <script src="/jslib/mustache/mustache.min.js"></script>
    <script src="ui.js"></script>