DevTools: [Console] Display timestamps when the Console timestamps setting is re-enabled

Source/devtools/front_end/ConsoleViewMessage.js

Index: Source/devtools/front_end/ConsoleViewMessage.js
diff --git a/Source/devtools/front_end/ConsoleViewMessage.js b/Source/devtools/front_end/ConsoleViewMessage.js
index 4fba89e89640734767c395993c606a502cad36b0..1e9b0b3b3fcd344e5175ea68d2e262844f8867c8 100644
--- a/Source/devtools/front_end/ConsoleViewMessage.js
+++ b/Source/devtools/front_end/ConsoleViewMessage.js
@@ -52,8 +52,6 @@ WebInspector.ConsoleViewMessage = function(target, consoleMessage, linkifier)
         "node":   this._formatParameterAsNode,
         "string": this._formatParameterAsString
     };
-
-    WebInspector.settings.consoleTimestampsEnabled.addChangeListener(this._consoleTimestampsSettingChanged, this);
 }
 
 WebInspector.ConsoleViewMessage.prototype = {
@@ -871,7 +869,7 @@ WebInspector.ConsoleViewMessage.prototype = {
         return regexObject.test(this._formattedMessageText()) || (!!this._anchorElement && regexObject.test(this._anchorElement.textContent));
     },
 
-    _updateTimestamp: function(show)
+    updateTimestamp: function(show)
     {
         if (!this._element)
             return;
@@ -884,14 +882,10 @@ WebInspector.ConsoleViewMessage.prototype = {
             return;
         }
 
-        if (!show && this.timestampElement)
+        if (!show && this.timestampElement) {
             this.timestampElement.remove();
-    },
-
-    _consoleTimestampsSettingChanged: function(event)
-    {
-        var enabled = /** @type {boolean} */ (event.data);
-        this._updateTimestamp(enabled);
+            delete this.timestampElement;
+        }
     },
 
     /**
@@ -934,7 +928,7 @@ WebInspector.ConsoleViewMessage.prototype = {
         if (this._repeatCount > 1)
             this._showRepeatCountElement();
 
-        this._updateTimestamp(WebInspector.settings.consoleTimestampsEnabled.get());
+        this.updateTimestamp(WebInspector.settings.consoleTimestampsEnabled.get());
 
         return element;
     },