From 5cdb08c35f8d13bbfe4238fe59db651db6244db4 Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Wed, 23 Jan 2013 19:35:17 +0000 Subject: [PATCH] Using CodeMirror 3.01 now --- lib/settings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/settings.php b/lib/settings.php index 64ed5f5..f49c5a5 100644 --- a/lib/settings.php +++ b/lib/settings.php @@ -46,7 +46,7 @@ include($settingsFile); // Add ICEcoder settings to beginning of $ICEcoder array $ICEcoder = array( "versionNo" => "1.5", - "codeMirrorDir" => "CodeMirror-3.0", + "codeMirrorDir" => "CodeMirror-3.01", "demoMode" => false )+$ICEcoder;