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