| 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);
|
| + }
|
| },
|
|
|
| /**
|
|
|