Add support for onHighlightComplete option

Author: marijnh

lib/codemirror.js

@@ -1222,10 +1222,12 @@ var CodeMirror = (function() {
     }
     function highlightWorker() {
       var end = +new Date + options.workTime;
+      var didSomething = false;
       while (work.length) {
         if (!lines[showingFrom].stateAfter) var task = showingFrom;
         else var task = work.pop();
         if (task >= lines.length) continue;
+        didSomething = true;
         var start = findStartLine(task), state = start && lines[start-1].stateAfter;
         if (state) state = copyState(mode, state);
         else state = startState(mode);
@@ -1244,6 +1246,8 @@ var CodeMirror = (function() {
         }
         changes.push({from: task, to: i});
       }
+      if (didSomething && options.onHighlightComplete)
+        options.onHighlightComplete(instance);
     }
     function startWorker(time) {
       if (!work.length) return;
@@ -1416,6 +1420,7 @@ var CodeMirror = (function() {
     onChange: null,
     onCursorActivity: null,
     onGutterClick: null,
+    onHighlightComplete: null,
     onFocus: null, onBlur: null, onScroll: null,
     matchBrackets: false,
     workTime: 100,

manual.html

@@ -217,6 +217,11 @@ <h2 id="config">Configuration</h2>
       <dd>When given, will be called whenever the editor is
       scrolled.</dd>
 
+      <dt id="option_onHighlightComplete"><code>onHighlightComplete (function)</code></dt>
+      <dd>Whenever the editor's content has been fully highlighted,
+      this function (if given) will be called. It'll be given a single
+      argument, the editor instance.</dd>
+
       <dt id="option_matchBrackets"><code>matchBrackets (boolean)</code></dt>
       <dd>Determines whether brackets are matched whenever the cursor
       is moved next to a bracket.</dd>