diff --git a/editor.php b/editor.php index 3dc6372..2722593 100644 --- a/editor.php +++ b/editor.php @@ -8,6 +8,7 @@ /lib/codemirror.css"> /addon/hint/show-hint.css"> +/addon/lint/lint.css"> + + + -1 ? CodeMirror.javascriptValidator : false, keyMap: "ICEcoder", onKeyEvent: function(thisCM, e) { top.ICEcoder.redoChangedContent(e); @@ -218,10 +219,6 @@ function createNewCMInstance(num) { top.document.getElementById('results').innerHTML = top.ICEcoder.results.length + " results"; top.ICEcoder.findMode = false; } - if (top.ICEcoder.codeAssist && top.ICEcoder.openFiles.length>0) { - clearTimeout(window['cM'+num+'waiting']); - window['cM'+num+'waiting'] = setTimeout(top.ICEcoder.updateHints, 100); - } var filepath = top.ICEcoder.openFiles[top.ICEcoder.selectedTab-1]; if (filepath) { var filename = filepath.substr(filepath.lastIndexOf("/")+1);