| Index: third_party/WebKit/Source/devtools/front_end/ui/View.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/View.js b/third_party/WebKit/Source/devtools/front_end/ui/View.js
|
| index 7343e1dc3a8b37414f6cd1377b127ab7f954f635..3a7ce3ef9b9c45950e3040e218f0c19b74285e95 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/View.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/View.js
|
| @@ -712,6 +712,16 @@ UI.ViewManager._TabbedLocation = class extends UI.ViewManager._Location {
|
| }
|
| }
|
| this._appendTab(view, index);
|
| +
|
| + if (view.isCloseable()) {
|
| + var tabs = this._closeableTabSetting.get();
|
| + var tabId = view.viewId();
|
| + if (!tabs[tabId]) {
|
| + tabs[tabId] = true;
|
| + this._closeableTabSetting.set(tabs);
|
| + }
|
| + }
|
| + this._persistTabOrder();
|
| }
|
|
|
| /**
|
| @@ -750,17 +760,6 @@ UI.ViewManager._TabbedLocation = class extends UI.ViewManager._Location {
|
| var tabId = /** @type {string} */ (event.data.tabId);
|
| if (this._lastSelectedTabSetting && event.data['isUserGesture'])
|
| this._lastSelectedTabSetting.set(tabId);
|
| - var view = this._views.get(tabId);
|
| - if (!view)
|
| - return;
|
| -
|
| - if (view.isCloseable()) {
|
| - var tabs = this._closeableTabSetting.get();
|
| - if (!tabs[tabId]) {
|
| - tabs[tabId] = true;
|
| - this._closeableTabSetting.set(tabs);
|
| - }
|
| - }
|
| }
|
|
|
| /**
|
| @@ -775,10 +774,7 @@ UI.ViewManager._TabbedLocation = class extends UI.ViewManager._Location {
|
| }
|
| }
|
|
|
| - /**
|
| - * @param {!Common.Event} event
|
| - */
|
| - _persistTabOrder(event) {
|
| + _persistTabOrder() {
|
| var tabIds = this._tabbedPane.tabIds();
|
| var tabOrders = {};
|
| for (var i = 0; i < tabIds.length; i++)
|
|
|