| Index: Source/devtools/front_end/ConsoleView.js
|
| diff --git a/Source/devtools/front_end/ConsoleView.js b/Source/devtools/front_end/ConsoleView.js
|
| index 5f772d66a8d0a81a030ff6157bcdd59f70f6c63c..f61f842719ccee1c993661d424f2fa7c4c216836 100644
|
| --- a/Source/devtools/front_end/ConsoleView.js
|
| +++ b/Source/devtools/front_end/ConsoleView.js
|
| @@ -125,6 +125,7 @@ WebInspector.ConsoleView = function(hideContextSelector)
|
| this.messagesElement.insertBefore(this._filterStatusMessageElement, this.topGroup.element);
|
|
|
| this._updateFilterStatus();
|
| + WebInspector.settings.consoleTimestampsEnabled.addChangeListener(this._consoleTimestampsSettingChanged, this);
|
| }
|
|
|
| WebInspector.ConsoleView.prototype = {
|
| @@ -161,6 +162,14 @@ WebInspector.ConsoleView.prototype = {
|
|
|
| },
|
|
|
| + _consoleTimestampsSettingChanged: function(event)
|
| + {
|
| + var enabled = /** @type {boolean} */ (event.data);
|
| + this._messageToViewMessage.values().forEach(function(viewMessage) {
|
| + viewMessage.updateTimestamp(enabled);
|
| + })
|
| + },
|
| +
|
| /**
|
| * @return {!Element}
|
| */
|
|
|