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); |