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 852d4baf066d35250112c6149ca05d29671668a5..1a4264e03e65276d8f19388cd8dc9820077c6b35 100644 |
--- a/Source/devtools/front_end/common/Settings.js |
+++ b/Source/devtools/front_end/common/Settings.js |
@@ -82,6 +82,7 @@ WebInspector.Settings = function() |
this.shortcutPanelSwitch = this.createSetting("shortcutPanelSwitch", false); |
this.showWhitespacesInEditor = this.createSetting("showWhitespacesInEditor", false); |
this.skipStackFramesPattern = this.createRegExpSetting("skipStackFramesPattern", ""); |
+ this.skipContentScripts = this.createSetting("skipContentScripts", false); |
this.pauseOnExceptionEnabled = this.createSetting("pauseOnExceptionEnabled", false); |
this.pauseOnCaughtException = this.createSetting("pauseOnCaughtException", false); |
this.enableAsyncStackTraces = this.createSetting("enableAsyncStackTraces", false); |