Index: Source/devtools/front_end/Settings.js |
diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js |
index 632108198c5890bf1d49a78829d0cfc4c09905c9..7d9cbae3a8c3a0aaee2176ca9c73e9578cd8122a 100644 |
--- a/Source/devtools/front_end/Settings.js |
+++ b/Source/devtools/front_end/Settings.js |
@@ -100,6 +100,7 @@ WebInspector.Settings = function() |
this.workerInspectorHeight = this.createSetting("workerInspectorHeight", 600); |
this.messageURLFilters = this.createSetting("messageURLFilters", {}); |
this.networkHideDataURL = this.createSetting("networkHideDataURL", false); |
+ this.networkResourceTypeFilters = this.createSetting("networkResourceTypeFilters", {}); |
this.messageLevelFilters = this.createSetting("messageLevelFilters", {}); |
this.splitVerticallyWhenDockedToRight = this.createSetting("splitVerticallyWhenDockedToRight", true); |
this.visiblePanels = this.createSetting("visiblePanels", {}); |