| Index: Source/devtools/front_end/Settings.js
|
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
|
| index b6f4f28ee4572e6f61aaab57d33c99eef2a2f4f6..864fd6f7017360cbfd2c3bf09e9c3eca175daf4b 100644
|
| --- a/Source/devtools/front_end/Settings.js
|
| +++ b/Source/devtools/front_end/Settings.js
|
| @@ -112,6 +112,7 @@ WebInspector.Settings = function()
|
| this.pauseOnExceptionEnabled = this.createSetting("pauseOnExceptionEnabled", false);
|
| this.pauseOnCaughtException = this.createSetting("pauseOnCaughtException", false);
|
| this.enableAsyncStackTraces = this.createSetting("enableAsyncStackTraces", false);
|
| + this.allowPastingJavaScript = this.createSetting("allowPastingJavaScript", false);
|
| }
|
|
|
| WebInspector.Settings.prototype = {
|
|
|