DevTools: Use CodeMirror modes instead of highlight tokenizers

Source/devtools/front_end/externs.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 483 matching lines @@
 /** @type {number} */
 CodeMirror.prototype.lineCount;
 CodeMirror.Pass;
 CodeMirror.showHint = function(codeMirror, hintintFunction) { };
 CodeMirror.commands = {};
 CodeMirror.modes = {};
 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) { }
 /** type {number} */
 CodeMirror.Pos.prototype.line;
 /** type {number} */
 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 () { },
     current: function () { },
     eat: function (match) { },
     eatSpace: function () { },
     eatWhile: function (match) { },
     eol: function () { },
     indentation: function () { },
     /**
@@ skipping 17 matching lines @@
 
 WebInspector.settings.continuousPainting = /** type {WebInspector.Setting} */ { }
 WebInspector.settings.showDebugBorders = /** type {WebInspector.Setting} */ { }
 WebInspector.settings.showScrollBottleneckRects = /** type {WebInspector.Setting} */ { }
 WebInspector.settings.forceCompositingMode = /** type {WebInspector.Setting} */ { }
 WebInspector.settings.showFPSCounter = /** type {WebInspector.Setting} */ { }
 WebInspector.settings.showPaintRects = /** type {WebInspector.Setting} */ { }
 
 /** @type {boolean} */
 window.dispatchStandaloneTestRunnerMessages;