| 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");
|
|
|