| Index: Source/devtools/front_end/TabbedPane.js
|
| diff --git a/Source/devtools/front_end/TabbedPane.js b/Source/devtools/front_end/TabbedPane.js
|
| index 1200eaf37932da4bf0c5dd15815a39bc69bccb57..8e8f7dcacd18d6be9c20fb5b196f4c318ab774fc 100644
|
| --- a/Source/devtools/front_end/TabbedPane.js
|
| +++ b/Source/devtools/front_end/TabbedPane.js
|
| @@ -171,7 +171,7 @@ WebInspector.TabbedPane.prototype = {
|
| this._innerCloseTab(ids[i], userGesture);
|
| this._updateTabElements();
|
| if (this._tabsHistory.length)
|
| - this.selectTab(this._tabsHistory[0].id, userGesture);
|
| + this.selectTab(this._tabsHistory[0].id, false);
|
| },
|
|
|
| /**
|
|
|