| Index: third_party/WebKit/Source/devtools/front_end/main/Main.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/main/Main.js b/third_party/WebKit/Source/devtools/front_end/main/Main.js
|
| index 8c8748bfb858a998fbaaa0c822000a21fe0a9695..1e7cf982faf3dd2988611398b1b2afbc6c03bf68 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/main/Main.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/main/Main.js
|
| @@ -57,6 +57,7 @@
|
|
|
| if (InspectorFrontendHost.isUnderTest())
|
| self.runtime.useTestBase();
|
| + Runtime.setPlatform(WebInspector.platform());
|
| InspectorFrontendHost.getPreferences(this._gotPreferences.bind(this));
|
| },
|
|
|
| @@ -883,6 +884,13 @@
|
|
|
| contextMenu.appendAction("main.toggle-drawer", WebInspector.inspectorView.drawerVisible() ? WebInspector.UIString("Hide console") : WebInspector.UIString("Show console"));
|
| contextMenu.appendItemsAtLocation("mainMenu");
|
| + var moreTools = contextMenu.namedSubMenu("mainMenuMoreTools");
|
| + var extensions = self.runtime.extensions("drawer-view", undefined, true);
|
| + for (var extension of extensions) {
|
| + var descriptor = extension.descriptor();
|
| + moreTools.appendItem(extension.title(), WebInspector.inspectorView.showViewInDrawer.bind(WebInspector.inspectorView, descriptor["name"]));
|
| + }
|
| +
|
| contextMenu.show();
|
| }
|
| }
|
|
|