| Index: Source/devtools/front_end/Settings.js
|
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
|
| index 6eebe468d105d1dac8726c0b7524426270601d93..bc17df38e3d7d4eca53a0f7a7a37a03b832c1936 100644
|
| --- a/Source/devtools/front_end/Settings.js
|
| +++ b/Source/devtools/front_end/Settings.js
|
| @@ -79,6 +79,7 @@ WebInspector.Settings = function()
|
| this.overrideDeviceMetrics = this.createSetting("overrideDeviceMetrics", false);
|
| this.deviceMetrics = this.createSetting("deviceMetrics", "");
|
| this.deviceFitWindow = this.createSetting("deviceFitWindow", true);
|
| + this.emulateViewport = this.createSetting("emulateViewport", false);
|
| this.emulateTouchEvents = this.createSetting("emulateTouchEvents", false);
|
| this.showShadowDOM = this.createSetting("showShadowDOM", false);
|
| this.zoomLevel = this.createSetting("zoomLevel", 0);
|
|
|