diff options
Diffstat (limited to 'third_party/WebKit/Source/devtools/front_end/Drawer.js')
| -rw-r--r-- | third_party/WebKit/Source/devtools/front_end/Drawer.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/third_party/WebKit/Source/devtools/front_end/Drawer.js b/third_party/WebKit/Source/devtools/front_end/Drawer.js index 04d5a1b..c1de044 100644 --- a/third_party/WebKit/Source/devtools/front_end/Drawer.js +++ b/third_party/WebKit/Source/devtools/front_end/Drawer.js @@ -133,6 +133,11 @@ WebInspector.Drawer.prototype = { { if (!this._toggleDrawerButton.enabled()) return; + if (!this._tabbedPane.hasTab(id)) { + // Hidden tab. + this._innerShow(immediate); + return; + } var viewFactory = this._viewFactory(id); if (viewFactory) this._tabbedPane.changeTabView(id, viewFactory.createView()); |
