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 = { |