DevTools: Use CodeMirror modes instead of highlight tokenizers

Source/devtools/front_end/DOMSyntaxHighlighter.js

 /*
  * Copyright (C) 2010 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 15 matching lines @@
  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
 /**
  * @constructor
  */
 WebInspector.DOMSyntaxHighlighter = function(mimeType, stripExtraWhitespace)
 {
-    this._tokenizer = WebInspector.SourceTokenizer.Registry.getInstance().getTokenizer(mimeType);
+    if (!WebInspector.CodeMirrorUtils)

[vsevik, 2013/08/12 16:36:57]

This is confusing, please remove.

+        loadScript("CodeMirrorTextEditor.js");
+    this._mimeType = mimeType;
     this._stripExtraWhitespace = stripExtraWhitespace;
 }
 
 WebInspector.DOMSyntaxHighlighter.prototype = {
     createSpan: function(content, className)
     {
         var span = document.createElement("span");
-        span.className = "webkit-" + className;
+        span.className = "cm-" + className;
         if (this._stripExtraWhitespace && className !== "whitespace")
             content = content.replace(/^[\n\r]*/, "").replace(/\s*$/, "");
         span.appendChild(document.createTextNode(content));
         return span;
     },
 
     syntaxHighlightNode: function(node)
     {
-        this._tokenizer.condition = this._tokenizer.createInitialCondition();
         var lines = node.textContent.split("\n");
         node.removeChildren();
 
+        var tokenize = WebInspector.CodeMirrorUtils.createTokenizer(this._mimeType);
         for (var i = lines[0].length ? 0 : 1; i < lines.length; ++i) {
             var line = lines[i];
             var plainTextStart = 0;
-            this._tokenizer.line = line;
-            var column = 0;
-            do {
-                var newColumn = this._tokenizer.nextToken(column);
-                var tokenType = this._tokenizer.tokenType;
+            tokenize(line, function(token, tokenType, column, newColumn) {

[vsevik, 2013/08/12 16:36:57]

Please extract function

                 if (tokenType) {
                     if (column > plainTextStart) {
                         var plainText = line.substring(plainTextStart, column);
                         node.appendChild(document.createTextNode(plainText));
                     }
-                    var token = line.substring(column, newColumn);
                     node.appendChild(this.createSpan(token, tokenType));
                     plainTextStart = newColumn;
                 }
-                column = newColumn;
-           } while (column < line.length)
-
+           }.bind(this));
            if (plainTextStart < line.length) {
                var plainText = line.substring(plainTextStart, line.length);
                node.appendChild(document.createTextNode(plainText));
            }
            if (i < lines.length - 1)
-               node.appendChild(document.createElement("br"));
+            node.appendChild(document.createElement("br"));
         }
     }
 }