| Index: Source/devtools/front_end/Settings.js
|
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
|
| index 3e3eb23918d128cdbf39a89aa3a92f64fc56eea9..0ee1b916ca89f55370a80747c837802b5b27e0fa 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");
|
|
|