| Index: Source/devtools/front_end/Settings.js
|
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
|
| index 915c7d452f7d57a8972c83636b339f1a0ba2d57e..aec1800b214da2c05551f396e988c59b96081c31 100644
|
| --- a/Source/devtools/front_end/Settings.js
|
| +++ b/Source/devtools/front_end/Settings.js
|
| @@ -288,6 +288,7 @@ WebInspector.ExperimentsSettings = function()
|
| this.gpuTimeline = this._createExperiment("gpuTimeline", "Show GPU data on timeline");
|
| this.applyCustomStylesheet = this._createExperiment("applyCustomStylesheet", "Allow custom UI themes");
|
| this.workersInMainWindow = this._createExperiment("workersInMainWindow", "Show workers in main window");
|
| + this.dockToLeft = this._createExperiment("dockToLeft", "Enable dock to left mode");
|
|
|
| this._cleanUpSetting();
|
| }
|
|
|