Dateiverwaltung für die WebBox
ulrich
2017-03-14 64d8b9925e9a832631dc8983f03927a8928e0e42
Marker setzen bereinigt
1 files modified
18 ■■■■■ changed files
web/ui/ui.js 18 ●●●●● patch | view | raw | blame | history
web/ui/ui.js
@@ -286,6 +286,8 @@
    cm.clearGutter("breakpoints");
    
    if(resp.List[0].CompilerIssue !== undefined) {
      var lno;
      var eMsg;
      if(resp.List[0].CompilerIssue instanceof Array) {
        var issueNo = 0;
        while(issueNo < resp.List[0].CompilerIssue.length) {
@@ -293,11 +295,15 @@
          // console.log(resp.List[0].CompilerIssue[issueNo].lineNumber);
          // console.log(resp.List[0].CompilerIssue[issueNo].sourceName);
          // console.log(resp.List[0].CompilerIssue[issueNo].message);
          fm_set_code_marker(resp.List[0].CompilerIssue[issueNo].lineNumber, resp.List[0].CompilerIssue[issueNo].kind + ' ' + resp.List[0].CompilerIssue[issueNo].message);
          lno = resp.List[0].CompilerIssue[issueNo].lineNumber;
          eMsg = resp.List[0].CompilerIssue[issueNo].kind + ' ' + resp.List[0].CompilerIssue[issueNo].message;
          cm.setGutterMarker(lno-1, "breakpoints", makeMarker(eMsg));
          issueNo++;
        }
      } else {
        fm_set_code_marker(resp.List[0].CompilerIssue.lineNumber, resp.List[0].CompilerIssue.kind + ' ' + resp.List[0].CompilerIssue.message);
        lno = resp.List[0].CompilerIssue.lineNumber;
        eMsg = resp.List[0].CompilerIssue.kind + ' ' + resp.List[0].CompilerIssue.message;
        cm.setGutterMarker(lno-1, "breakpoints", makeMarker(eMsg));
      }
    }
  });
@@ -852,9 +858,11 @@
/* ---- codemirror editor handling -------- */
/*
function htmlDecode(value){ 
  return $('<div/>').html(value).text(); 
}
*/
function fm_code_edit(content, m) {
  cm = CodeMirror.fromTextArea(document.getElementById("editspace"), {
@@ -904,10 +912,6 @@
  */
}
function fm_set_code_marker(lineNumber, message) {
 cm.setGutterMarker(lineNumber-1, "breakpoints", makeMarker(message));
}
function makeMarker(msg) {
  var marker = document.createElement("div");
  marker.style.color = "#822";
@@ -920,8 +924,6 @@
  });
  return marker;
}
/* -------- helper functions ----------- */