Index: Source/devtools/front_end/Settings.js |
diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js |
index 7386c884142465070f592f382d8fc3c6fefc624c..df5149ecdb7c6d8e2ccdb13d298da0dd58b869e1 100644 |
--- a/Source/devtools/front_end/Settings.js |
+++ b/Source/devtools/front_end/Settings.js |
@@ -56,6 +56,7 @@ WebInspector.Settings = function() |
this.lastViewedScriptFile = this.createSetting("lastViewedScriptFile", "application"); |
this.monitoringXHREnabled = this.createSetting("monitoringXHREnabled", false); |
this.preserveConsoleLog = this.createSetting("preserveConsoleLog", false); |
+ this.consoleTimestampsEnabled = this.createSetting("consoleTimestampsEnabled", false); |
this.resourcesLargeRows = this.createSetting("resourcesLargeRows", true); |
this.resourcesSortOptions = this.createSetting("resourcesSortOptions", {timeOption: "responseTime", sizeOption: "transferSize"}); |
this.resourceViewTab = this.createSetting("resourceViewTab", "preview"); |