| 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 fabeff2bce3efcb41de0fab528e95d24e5c23f3d..74701be36903d35861ed38ad7282ce58085aeea3 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;
|
|
|