From d920b78320312112835e541012b17c54d0b843b3 Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Tue, 14 Mar 2017 06:57:26 +0000
Subject: [PATCH] Versuche mit dem Java-Compiler (in Arbeit)
---
src/java/de/uhilger/filecms/api/CompileService.java | 6 ++++++
web/ui/ui.js | 1 +
2 files changed, 7 insertions(+), 0 deletions(-)
diff --git a/src/java/de/uhilger/filecms/api/CompileService.java b/src/java/de/uhilger/filecms/api/CompileService.java
index 1b5d18b..f596dd6 100644
--- a/src/java/de/uhilger/filecms/api/CompileService.java
+++ b/src/java/de/uhilger/filecms/api/CompileService.java
@@ -185,4 +185,10 @@
Runnable runner = (Runnable) aClass.newInstance();
runner.run();
+*/
+
+/*
+ CodeMirror Breakpoint bzw. Gutter Marker
+
+ https://codemirror.net/demo/marker.html
*/
\ No newline at end of file
diff --git a/web/ui/ui.js b/web/ui/ui.js
index 3b7f34b..2cfd263 100644
--- a/web/ui/ui.js
+++ b/web/ui/ui.js
@@ -845,6 +845,7 @@
lineNumbers: true,
mode: m,
viewportMargin : Infinity,
+ tabSize: 2,
extraKeys: {
"F9": function(cm) {
cm.setOption("fullScreen", !cm.getOption("fullScreen"));
--
Gitblit v1.9.3