Dateiverwaltung für die WebBox
ulrich
2017-03-16 fd0b4cf7236de6f05f3df2ed5bdd9508fd5fbb01
web/ui/ui.js
@@ -279,10 +279,10 @@
}
function fm_menu_test_2() {
  var liste = fm_gewaehlte_dateien();
  var m = '?c=de.uhilger.filecms.api.CompileService&m=compile&p=' + pfad + '&p=' + encodeURIComponent(liste);
  var u = '../svc' + m;
  fm_get(u, "json", function(resp) {
  fm_compile('0', fm_mark_compile_results_in_editor);
}
function fm_mark_compile_results_in_editor(resp) {
    cm.clearGutter("breakpoints");
    
    if(resp.List[0].CompilerIssue !== undefined) {
@@ -306,6 +306,15 @@
        cm.setGutterMarker(lno-1, "breakpoints", makeMarker(eMsg));
      }
    }
}
function fm_compile(modeStr, callback) {
  var liste = fm_gewaehlte_dateien();
  var m = '?c=de.uhilger.filecms.api.CompileService&m=compile&p=' + pfad + '&p=' + encodeURIComponent(liste) +
          '&p=' + modeStr;
  var u = '../svc' + m;
  fm_get(u, "json", function(resp) {
    callback(resp);
  });
}