From e3043fddcaf5e3ea4beb022c04d411661a3499bd Mon Sep 17 00:00:00 2001 From: ulrich <undisclosed> Date: Tue, 14 Mar 2017 14:27:13 +0000 Subject: [PATCH] Syntax-Check fuer Java, Gutter Marker fuer Fehler, Tooltips fuer Fehlermeldungen --- web/ui/index.html | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/web/ui/index.html b/web/ui/index.html index 87c6a46..e30a181 100644 --- a/web/ui/index.html +++ b/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> -- Gitblit v1.9.3