| Index: Source/devtools/front_end/profiler/ProfilesPanel.js
|
| diff --git a/Source/devtools/front_end/profiler/ProfilesPanel.js b/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| index f2cd427dac10651ae150877bb1e8455b146a95e3..fd43b858033419b8bf067089d832b1e1f20123e0 100644
|
| --- a/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| +++ b/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| @@ -656,10 +656,7 @@ WebInspector.ProfilesPanel.prototype = {
|
| {
|
| if (WebInspector.experimentsSettings.disableAgentsWhenProfile.isEnabled())
|
| WebInspector.inspectorView.setCurrentPanelLocked(toggled);
|
| - var isAcquiredInSomeTarget = false;
|
| - var targets = WebInspector.targetManager.targets();
|
| - for (var i = 0; i < targets.length; ++i)
|
| - isAcquiredInSomeTarget = isAcquiredInSomeTarget || targets[i].profilingLock.isAcquired();
|
| + var isAcquiredInSomeTarget = WebInspector.targetManager.targets().some(function(target) { return target.profilingLock.isAcquired(); });
|
| var enable = toggled || !isAcquiredInSomeTarget;
|
| this.recordButton.setEnabled(enable);
|
| this.recordButton.toggled = toggled;
|
|
|