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 49636240053b6ae8a1dd86fc39d29019e2302179..879f5b4bad7bd5ed17963556afba7b72d0205e52 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.showSubtreeAnimations = this.createSetting("showSubtreeAnimations", false); |
// Rendering options |
this.showPaintRects = this.createSetting("showPaintRects", false); |