| 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 de480afab08d2b28ae63bda3c585f00d26495ed7..9da2792dd76f2c1e0b95453800f2ec0a90863226 100644
|
| --- a/Source/devtools/front_end/common/Settings.js
|
| +++ b/Source/devtools/front_end/common/Settings.js
|
| @@ -312,6 +312,7 @@ WebInspector.ExperimentsSettings = function(experimentsEnabled)
|
| this.applyCustomStylesheet = this._createExperiment("applyCustomStylesheet", "Allow custom UI themes");
|
| this.canvasInspection = this._createExperiment("canvasInspection ", "Canvas inspection");
|
| this.devicesPanel = this._createExperiment("devicesPanel", "Devices panel", true);
|
| + this.disableAgentsWhenProfile = this._createExperiment("disableAgentsWhenProfile", "Disable other agents and UI when profiler is active", true);
|
| this.dockToLeft = this._createExperiment("dockToLeft", "Dock to left", true);
|
| this.editorInDrawer = this._createExperiment("showEditorInDrawer", "Editor in drawer", true);
|
| this.fileSystemInspection = this._createExperiment("fileSystemInspection", "FileSystem inspection");
|
|
|