[DevTools] Group options in network presets select.

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 36a9d5af1338c2da9a2e312d94b2b454919c7765..6c5b847afc8f36830ab92b11df0ee4c91607ff40 100644
--- a/Source/devtools/front_end/console/ConsoleViewMessage.js
+++ b/Source/devtools/front_end/console/ConsoleViewMessage.js
@@ -879,6 +879,7 @@ WebInspector.ConsoleViewMessage.prototype = {
 
         if (show && !this.timestampElement) {
             this.timestampElement = createElementWithClass("span", "console-timestamp");
+            this.timestampElement.addEventListener("dblclick", revealSetting, false);
             this.timestampElement.textContent = (new Date(this._message.timestamp)).toConsoleTime() + " ";
             var afterRepeatCountChild = this._repeatCountElement && this._repeatCountElement.nextSibling;
             this._formattedMessage.insertBefore(this.timestampElement, this._formattedMessage.firstChild);
@@ -889,6 +890,11 @@ WebInspector.ConsoleViewMessage.prototype = {
             this.timestampElement.remove();
             delete this.timestampElement;
         }
+
+        function revealSetting()
+        {
+            WebInspector.Revealer.reveal(WebInspector.moduleSetting("consoleTimestampsEnabled"));
+        }
     },
 
     /**