Dateiverwaltung für die WebBox
ulrich
2017-03-14 d920b78320312112835e541012b17c54d0b843b3
Versuche mit dem Java-Compiler (in Arbeit)
2 files modified
7 ■■■■■ changed files
src/java/de/uhilger/filecms/api/CompileService.java 6 ●●●●● patch | view | raw | blame | history
web/ui/ui.js 1 ●●●● patch | view | raw | blame | history
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
*/
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"));