| | |
| | | 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) { |
| | |
| | | // 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)); |
| | | } |
| | | } |
| | | }); |
| | |
| | | |
| | | $('#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?"); |
| | |
| | | |
| | | /* ---- codemirror editor handling -------- */ |
| | | |
| | | /* |
| | | function htmlDecode(value){ |
| | | return $('<div/>').html(value).text(); |
| | | } |
| | | */ |
| | | |
| | | function fm_code_edit(content, m) { |
| | | cm = CodeMirror.fromTextArea(document.getElementById("editspace"), { |
| | |
| | | */ |
| | | } |
| | | |
| | | 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"; |
| | |
| | | }); |
| | | return marker; |
| | | } |
| | | |
| | | |
| | | |
| | | /* -------- helper functions ----------- */ |
| | | |