| Index: Source/devtools/front_end/common/Settings.js
|
| diff --git a/Source/devtools/front_end/common/Settings.js b/Source/devtools/front_end/common/Settings.js
|
| index 5e91c26adabf87b63ae2cab37a6241518e5bd3a3..b549ffc000e3f4fad6ba157a2ef9e34f2f5c4809 100644
|
| --- a/Source/devtools/front_end/common/Settings.js
|
| +++ b/Source/devtools/front_end/common/Settings.js
|
| @@ -42,6 +42,7 @@ WebInspector.Settings = function()
|
| this.eventListenersFilter = this.createSetting("eventListenersFilter", "all");
|
| this.lastViewedScriptFile = this.createSetting("lastViewedScriptFile", "application");
|
| this.monitoringXHREnabled = this.createSetting("monitoringXHREnabled", false);
|
| + this.hideNetworkMessages = this.createSetting("hideNetworkMessages", false);
|
| this.preserveConsoleLog = this.createSetting("preserveConsoleLog", false);
|
| this.consoleTimestampsEnabled = this.createSetting("consoleTimestampsEnabled", false);
|
| this.resourcesLargeRows = this.createSetting("resourcesLargeRows", true);
|
|
|