| Index: third_party/WebKit/Source/devtools/front_end/ui_lazy/CommandMenu.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui_lazy/CommandMenu.js b/third_party/WebKit/Source/devtools/front_end/ui_lazy/CommandMenu.js
|
| index 1c7d905455e9a5172eaee7d9241a6fc43c273cf3..6ceaeb8c9e5df6ecf9c984d2b9ea7cfbee867413 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui_lazy/CommandMenu.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui_lazy/CommandMenu.js
|
| @@ -317,12 +317,12 @@ WebInspector.CommandMenu.createRevealPanelCommand = function(extension)
|
| */
|
| function availableHandler()
|
| {
|
| - return WebInspector.inspectorView.currentPanel().name !== panelName;
|
| + return true;
|
| }
|
|
|
| function executeHandler()
|
| {
|
| - WebInspector.inspectorView.panel(panelName).then(WebInspector.inspectorView.setCurrentPanel.bind(WebInspector.inspectorView));
|
| + WebInspector.viewManager.showView(panelName);
|
| }
|
| }
|
|
|
|
|