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