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