DevTools: Use CodeMirror modes instead of highlight tokenizers

Source/devtools/front_end/externs.js

Index: Source/devtools/front_end/externs.js
diff --git a/Source/devtools/front_end/externs.js b/Source/devtools/front_end/externs.js
index cf32051fdf3d8b362afbd6899193c60e91a35d03..a6a8506e6a93f370a19973e32ded91608667aa8b 100644
--- a/Source/devtools/front_end/externs.js
+++ b/Source/devtools/front_end/externs.js
@@ -501,6 +501,7 @@ CodeMirror.mimeModes = {};
 CodeMirror.getMode = function(options, spec) { };
 CodeMirror.overlayMode = function(mode1, mode2, squashSpans) { };
 CodeMirror.defineMode = function(modeName, modeConstructor) { };
+CodeMirror.startState = function(mode) { };
 
 /** @constructor */
 CodeMirror.Pos = function(line, ch) { }
@@ -510,7 +511,10 @@ CodeMirror.Pos.prototype.line;
 CodeMirror.Pos.prototype.ch;
 
 /** @constructor */
-CodeMirror.StringStream = function() { }
+CodeMirror.StringStream = function(line) {

[vsevik, 2013/08/14 16:26:41]

{ on the next line

+    this.pos = 0;
+    this.start = 0;
+}
 CodeMirror.StringStream.prototype = {
     backUp: function (n) { },
     column: function () { },