| 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 c938772f79e058868580bebbe7fd6f90b400bd3f..188181cc758cab00fe33d9042dd23f4b6da3f55f 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/View.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/View.js
|
| @@ -681,14 +681,7 @@ WebInspector.ViewManager._TabbedLocation.prototype = {
|
| else if (this._closeableTabSetting.get()[id])
|
| this._appendTab(view);
|
| }
|
| - },
|
| -
|
| - wasShown: function()
|
| - {
|
| - if (this._wasAlreadyShown || !this._lastSelectedTabSetting)
|
| - return;
|
| - this._wasAlreadyShown = true;
|
| - if (this._tabbedPane.hasTab(this._lastSelectedTabSetting.get()))
|
| + if (this._lastSelectedTabSetting && this._tabbedPane.hasTab(this._lastSelectedTabSetting.get()))
|
| this._tabbedPane.selectTab(this._lastSelectedTabSetting.get());
|
| },
|
|
|
|
|