| 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", {});
|
|
|