| Index: Source/devtools/front_end/Settings.js
|
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
|
| index 13cd104a4432602a942b7d9606fe00da90ffee61..db62fe9e4f850cfdff35025c5ef0d95b41bb0853 100644
|
| --- a/Source/devtools/front_end/Settings.js
|
| +++ b/Source/devtools/front_end/Settings.js
|
| @@ -80,6 +80,7 @@ WebInspector.Settings = function()
|
| this.overrideDeviceMetrics = this.createSetting("overrideDeviceMetrics", false);
|
| this.deviceMetrics = this.createSetting("deviceMetrics", "");
|
| this.deviceFitWindow = this.createSetting("deviceFitWindow", false);
|
| + this.textAutosizingOverride = this.createSetting("textAutosizingOverride", "Default");
|
| this.emulateTouchEvents = this.createSetting("emulateTouchEvents", false);
|
| this.showShadowDOM = this.createSetting("showShadowDOM", false);
|
| this.zoomLevel = this.createSetting("zoomLevel", 0);
|
|
|