Upgrading to CodeMirror v3 RC2

2026-03-09 18:16:48 +01:00 · 2012-12-03 19:04:16 +00:00
parent 14fe45bda8
commit f358cdea5b
23 changed files with 558 additions and 284 deletions
--- a/lib/settings.php
+++ b/lib/settings.php
@@ -39,7 +39,7 @@ include($settingsFile);
 // Add ICEcoder settings to beginning of $ICEcoder array
 $ICEcoder = array(
 	"versionNo"		=> "1.2",
-	"codeMirrorDir"		=> "CodeMirror-2.36",
+	"codeMirrorDir"		=> "CodeMirror-3.0rc2",
 	"demoMode"		=> false
 )+$ICEcoder;