| Index: Source/devtools/front_end/Settings.js
|
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
|
| index a562c423f5caf33f5d5b8643be0d01f163ecfdca..9e69afe06bfa3e6e3d26135a2cd89826ab2d25d2 100644
|
| --- a/Source/devtools/front_end/Settings.js
|
| +++ b/Source/devtools/front_end/Settings.js
|
| @@ -76,10 +76,7 @@ WebInspector.Settings = function()
|
| this.deviceFitWindow = this.createSetting("deviceFitWindow", true);
|
| this.emulateViewport = this.createSetting("emulateViewport", false);
|
| this.emulateTouchEvents = this.createSetting("emulateTouchEvents", false);
|
| -
|
| - // This setting affects the display of user-agent shadow DOM only,
|
| - // as author shadow DOM is displayed at all times.
|
| - this.showShadowDOM = this.createSetting("showShadowDOM", false);
|
| + this.showUAShadowDOM = this.createSetting("showUAShadowDOM", false);
|
| this.savedURLs = this.createSetting("savedURLs", {});
|
| this.javaScriptDisabled = this.createSetting("javaScriptDisabled", false);
|
| this.overrideGeolocation = this.createSetting("overrideGeolocation", false);
|
|
|