From 98f0886e72553f7364bbdd70ae77dfb7544a2fa8 Mon Sep 17 00:00:00 2001
From: Ulrich <undisclosed>
Date: Tue, 28 Feb 2017 11:57:52 +0000
Subject: [PATCH] cut, copy, paste (in Arbeit)

---
 web/ui/index.html |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/web/ui/index.html b/web/ui/index.html
index 6e21a5a..9138c0f 100644
--- a/web/ui/index.html
+++ b/web/ui/index.html
@@ -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>

--
Gitblit v1.9.3