Position Tooltip

ulrich

2017-03-14 ed12def6d2de7b1292b201c068c6269fec3100a3

 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>