Winzige Codeanpassung

ulrich

2017-03-14 50bb41eaf587b70a97a05025b73d1feb9256bda1

 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));
      }
    }
  });
@@ -567,7 +573,7 @@

  $('#modal_ok').click(function() {
    // hier umbenennen
    fm_rename_file(fname, pfad, $('#dateiname').val())
    fm_rename_file(fname, pfad, $('#dateiname').val());
  });
  $('#saveModalTitle').text('Datei umbenennen');
  $('#dialogfrage').text("Neuer Dateiname?");  
@@ -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 ----------- */