Make sure changing the mode actually causes a re-highlight

codemirror · Apr 29, 2011 · ebb15ab · ebb15ab
1 parent 574e6b6
commit ebb15ab
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/codemirror.js b/lib/codemirror.js
@@ -966,6 +966,7 @@ var CodeMirror = (function() {
       for (var i = 0, l = lines.length; i < l; ++i)
         lines[i].stateAfter = null;
       work = [0];
+      startWorker();
     }
     function gutterChanged() {
       var visible = options.gutter || options.lineNumbers;