Dateiverwaltung für die WebBox
ulrich
2017-03-20 d9d37bcb9b8550280c5a5737527bb81dad58256b
web/ui/ui.js
@@ -338,6 +338,7 @@
  cm.clearGutter("breakpoints");
  if(resp.List[0].CompilerIssue !== undefined) {
    cm.setGutterMarker(0, "breakpoints", makeMarker("Code hat Fehler"));
    var lno;
    var eMsg;
    if(resp.List[0].CompilerIssue instanceof Array) {