| Index: Source/devtools/front_end/Settings.js
|
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
|
| index 577ea5ac14797e104ff51b52dc178e12752a620c..e4b09b979cba42f5aa580da3eba8b5dc2b5ebcb5 100644
|
| --- a/Source/devtools/front_end/Settings.js
|
| +++ b/Source/devtools/front_end/Settings.js
|
| @@ -102,6 +102,8 @@ WebInspector.Settings = function()
|
| this.showMetricsRulers = this.createSetting("showMetricsRulers", false);
|
| this.overrideCSSMedia = this.createSetting("overrideCSSMedia", false);
|
| this.emulatedCSSMedia = this.createSetting("emulatedCSSMedia", "print");
|
| + this.overrideTextAutosizing = this.createSetting("overrideTextAutosizing", false);
|
| + this.enableTextAutosizing = this.createSetting("enableTextAutosizing", false);
|
| this.workerInspectorWidth = this.createSetting("workerInspectorWidth", 600);
|
| this.workerInspectorHeight = this.createSetting("workerInspectorHeight", 600);
|
| this.messageURLFilters = this.createSetting("messageURLFilters", {});
|
|
|