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