Index: Source/devtools/front_end/ui/TabbedPane.js |
diff --git a/Source/devtools/front_end/ui/TabbedPane.js b/Source/devtools/front_end/ui/TabbedPane.js |
index 9d41fcb809499ff4dce2f712f6c5152d8075ce5d..78b088dec2faacad9b0fbe25db0bff0044afb5cb 100644 |
--- a/Source/devtools/front_end/ui/TabbedPane.js |
+++ b/Source/devtools/front_end/ui/TabbedPane.js |
@@ -1147,8 +1147,10 @@ WebInspector.ExtensibleTabbedPaneController.prototype = { |
_toggleSettingBasedView: function(id, title, setting) |
{ |
this._tabbedPane.closeTab(id); |
- if (setting.get()) |
+ if (setting.get()) { |
this._tabbedPane.appendTab(id, title, new WebInspector.View()); |
+ this._tabbedPane.selectTab(id); |
+ } |
}, |
/** |