From b601ea0e85c1d2be25bb6e748db5ad08b0597118 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Wed, 22 Oct 2014 12:19:49 +0100
Subject: [PATCH] lintWith is now lint and false by default

This initialisation should be false to start with as we set PHP mode as
a basis and have no linter for that
We set the mode in processes/on-editor-load.php and then lint: true if
it's a JS mode.
---
 editor.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/editor.php b/editor.php
index 2f4a81e..1df4b03 100644
--- a/editor.php
+++ b/editor.php
@@ -184,7 +184,7 @@ function createNewCMInstance(num) {
 		autoCloseBrackets: true,
 		highlightSelectionMatches: true,
 		showTrailingSpace: true,
-		lintWith: <?php if ($ICEcoder['codeAssist']) {echo 'fileName && fileName.indexOf(".js")>-1 ? CodeMirror.javascriptValidator : ';};?>false,
+		lint: false,
 		keyMap: "ICEcoder"
 	};