[[
   "start",
  ["variable","diff"],
  ["variable"," --git"],
  ["keyword"," a/lib/ace/edit_session.js"],
  ["variable"," b/lib/ace/edit_session.js"]
],[
   "start",
  ["variable","index 23fc3fc..ed3b273 100644"]
],[
   "start",
  ["constant.numeric","---"],
  ["meta.tag"," a/lib/ace/edit_session.js"]
],[
   "start",
  ["constant.numeric","+++"],
  ["meta.tag"," b/lib/ace/edit_session.js"]
],[
   "start",
  ["constant","@@"],
  ["constant.numeric"," -51,6 +51,7 "],
  ["constant","@@"],
  ["comment.doc.tag"," var TextMode = require(\"./mode/text\").Mode;"]
],[
   "start",
  ["invisible"," var Range = require(\"./range\").Range;"]
],[
   "start",
  ["invisible"," var Document = require(\"./document\").Document;"]
],[
   "start",
  ["invisible"," var BackgroundTokenizer = require(\"./background_tokenizer\").BackgroundTokenizer;"]
],[
   "start",
  ["support.constant","+"],
  ["text","var SearchHighlight = require(\"./search_highlight\").SearchHighlight;"]
],[
   "start",
  ["text"," "]
],[
   "start",
  ["invisible"," /**"]
],[
   "start",
  ["invisible","  * class EditSession"]
],[
   "start",
  ["constant","@@"],
  ["constant.numeric"," -307,6 +308,13 "],
  ["constant","@@"],
  ["comment.doc.tag"," var EditSession = function(text, mode) {"]
],[
   "start",
  ["invisible","         return token;"]
],[
   "start",
  ["invisible","     };"]
],[
   "start",
  ["text"," "]
],[
   "start",
  ["support.constant","+"],
  ["text","    this.highlight = function(re) {"]
],[
   "start",
  ["support.constant","+"],
  ["text","        if (!this.$searchHighlight) {"]
],[
   "start",
  ["support.constant","+"],
  ["text","            var highlight = new SearchHighlight(null, \"ace_selected-word\", \"text\");"]
],[
   "start",
  ["support.constant","+"],
  ["text","            this.$searchHighlight = this.addDynamicMarker(highlight);"]
],[
   "start",
  ["support.constant","+"],
  ["text","        }"]
],[
   "start",
  ["support.constant","+"],
  ["text","        this.$searchHighlight.setRegexp(re);"]
],[
   "start",
  ["support.constant","+"],
  ["text","    }"]
],[
   "start",
  ["invisible","     /**"]
],[
   "start",
  ["invisible","     * EditSession.setUndoManager(undoManager)"]
],[
   "start",
  ["invisible","     * - undoManager (UndoManager): The new undo manager"]
],[
   "start",
  ["constant","@@"],
  ["constant.numeric"," -556,7 +564,8 "],
  ["constant","@@"],
  ["comment.doc.tag"," var EditSession = function(text, mode) {"]
],[
   "start",
  ["invisible","             type : type || \"line\","]
],[
   "start",
  ["invisible","             renderer: typeof type == \"function\" ? type : null,"]
],[
   "start",
  ["invisible","             clazz : clazz,"]
],[
   "start",
  ["support.function","-"],
  ["string","            inFront: !!inFront"]
],[
   "start",
  ["support.constant","+"],
  ["text","            inFront: !!inFront,"]
],[
   "start",
  ["support.constant","+"],
  ["text","            id: id"]
],[
   "start",
  ["invisible","         }"]
],[
   "start",
  ["text"," "]
],[
   "start",
  ["invisible","         if (inFront) {"]
],[
   "start",
  ["variable","diff"],
  ["variable"," --git"],
  ["keyword"," a/lib/ace/editor.js"],
  ["variable"," b/lib/ace/editor.js"]
],[
   "start",
  ["variable","index 834e603..b27ec73 100644"]
],[
   "start",
  ["constant.numeric","---"],
  ["meta.tag"," a/lib/ace/editor.js"]
],[
   "start",
  ["constant.numeric","+++"],
  ["meta.tag"," b/lib/ace/editor.js"]
],[
   "start",
  ["constant","@@"],
  ["constant.numeric"," -494,7 +494,7 "],
  ["constant","@@"],
  ["comment.doc.tag"," var Editor = function(renderer, session) {"]
],[
   "start",
  ["invisible","      * Emitted when a selection has changed."]
],[
   "start",
  ["invisible","      **/"]
],[
   "start",
  ["invisible","     this.onSelectionChange = function(e) {"]
],[
   "start",
  ["support.function","-"],
  ["string","        var session = this.getSession();"]
],[
   "start",
  ["support.constant","+"],
  ["text","        var session = this.session;"]
],[
   "start",
  ["text"," "]
],[
   "start",
  ["invisible","         if (session.$selectionMarker) {"]
],[
   "start",
  ["invisible","             session.removeMarker(session.$selectionMarker);"]
],[
   "start",
  ["constant","@@"],
  ["constant.numeric"," -509,12 +509,40 "],
  ["constant","@@"],
  ["comment.doc.tag"," var Editor = function(renderer, session) {"]
],[
   "start",
  ["invisible","             this.$updateHighlightActiveLine();"]
],[
   "start",
  ["invisible","         }"]
],[
   "start",
  ["text"," "]
],[
   "start",
  ["support.function","-"],
  ["string","        var self = this;"]
],[
   "start",
  ["support.function","-"],
  ["string","        if (this.$highlightSelectedWord && !this.$wordHighlightTimer)"]
],[
   "start",
  ["support.function","-"],
  ["string","            this.$wordHighlightTimer = setTimeout(function() {"]
],[
   "start",
  ["support.function","-"],
  ["string","                self.session.$mode.highlightSelection(self);"]
],[
   "start",
  ["support.function","-"],
  ["string","                self.$wordHighlightTimer = null;"]
],[
   "start",
  ["support.function","-"],
  ["string","            }, 30, this);"]
],[
   "start",
  ["support.constant","+"],
  ["text","        var re = this.$highlightSelectedWord && this.$getSelectionHighLightRegexp()"]
],[
   "start",
  ["invisible","     };"]
],[
   "start",
  ["variable","diff"],
  ["variable"," --git"],
  ["keyword"," a/lib/ace/search_highlight.js"],
  ["variable"," b/lib/ace/search_highlight.js"]
],[
   "start",
  ["invisible","new file mode 100644"]
],[
   "start",
  ["variable","index 0000000..b2df779"]
],[
   "start",
  ["constant.numeric","---"],
  ["meta.tag"," /dev/null"]
],[
   "start",
  ["constant.numeric","+++"],
  ["meta.tag"," b/lib/ace/search_highlight.js"]
],[
   "start",
  ["constant","@@"],
  ["constant.numeric"," -0,0 +1,3 "],
  ["constant","@@"]
],[
   "start",
  ["support.constant","+"],
  ["text","new"]
],[
   "start",
  ["support.constant","+"],
  ["text","empty file"]
]]