| Index: Source/devtools/front_end/common/Settings.js
|
| diff --git a/Source/devtools/front_end/common/Settings.js b/Source/devtools/front_end/common/Settings.js
|
| index 671289d4b0921e020ff96792bef0aa8634999af0..5a520566dbba11e86f026fd7dfd5516c118b1297 100644
|
| --- a/Source/devtools/front_end/common/Settings.js
|
| +++ b/Source/devtools/front_end/common/Settings.js
|
| @@ -91,6 +91,7 @@ WebInspector.Settings = function()
|
| this.disableOverridesWarning = this.createSetting("disableOverridesWarning", false);
|
| this.testPath = this.createSetting("testPath", "");
|
| this.frameViewerHideChromeWindow = this.createSetting("frameViewerHideChromeWindow", false);
|
| + this.highlightDOMUpdates = this.createSetting("highlightDOMUpdates", true);
|
|
|
| // Rendering options
|
| this.showPaintRects = this.createSetting("showPaintRects", false);
|
|
|