From 863ece66fad2e39e7dc35ec0706319cbc86418ed Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Sun, 30 Jun 2013 11:42:03 +0100 Subject: [PATCH] JS Hinting and extra gutter added Include linting files (1 x CSS and 2 x JS) Include JSHint as part of the system now, instead of as a plugin Remove old lint-error classes and waiting/widgets arrays Added extra gutter for the lint markers Lint with JS validator for JS files, false otherwise No need to set or clear timeouts for updateHints --- editor.php | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) 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);