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