From 7165a1b26382ed73d4f29a227b6a93217d714b49 Mon Sep 17 00:00:00 2001 From: Ulrich <undisclosed> Date: Tue, 28 Feb 2017 11:54:01 +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