Navigate between individual search matches in DevTools console

Source/devtools/front_end/console/ConsoleViewMessage.js

Index: Source/devtools/front_end/console/ConsoleViewMessage.js
diff --git a/Source/devtools/front_end/console/ConsoleViewMessage.js b/Source/devtools/front_end/console/ConsoleViewMessage.js
index 2d88c73e68ef891d651f7e396b49ff3327815f3f..f58ab732513f2df873986b1794dd6c84482690d9 100644
--- a/Source/devtools/front_end/console/ConsoleViewMessage.js
+++ b/Source/devtools/front_end/console/ConsoleViewMessage.js
@@ -943,7 +943,7 @@ WebInspector.ConsoleViewMessage.prototype = {
         return String.format(format, parameters, formatters, formattedResult, append.bind(this));
     },
 
-    clearHighlight: function()
+    clearHighlights: function()
     {
         if (!this._formattedMessage)
             return;
@@ -1272,6 +1272,23 @@ WebInspector.ConsoleViewMessage.prototype = {
     {
         return this._message.messageText;
     },
+
+    /**
+    * @return {!string}
+    */
+    getText: function () {
+        return this._messageElement.textContent;

[robwu, 2014/10/25 23:13:00]

What's the difference between the text getter (a few lines back) and your new
getText method? Why can't you use the previous one?

[aknudsen, 2014/10/26 11:22:40]

The reason for the getText method is to implement a common interface of console
messages, that is used when searching the console (ConsoleView._searchMessage).
I'm not sure if the text getter could be used for the common interface instead;
I noticed originally for instance that the text getter was implemented
differently than ConsoleViewMessage.matchesRegex, which is used when searching.
I'm still wondering if the text getter's implementation would actually differ
from getText().

+    },
+
+    highlightMatch: function(start, end, isCurrent)
+    {
+       if (!this._formattedMessage)
+           return;
+
+       console.log("Highlighting from position " + start + " to " + end);
+       WebInspector.highlightSearchResults(this._messageElement,
+           [new WebInspector.SourceRange(start, end - start + 1)], undefined, isCurrent);
+    },
 }
 
 /**