Browse Source

Activate help plugin on startup

akosyakov 8 years ago
parent
commit
6f44d70719
1 changed files with 3 additions and 1 deletions
  1. 3 1
      src/help/plugin.ts

+ 3 - 1
src/help/plugin.ts

@@ -98,7 +98,8 @@ export
 const helpHandlerExtension: JupyterLabPlugin<void> = {
   id: 'jupyter.extensions.help-handler',
   requires: [IMainMenu, ICommandPalette],
-  activate: activateHelpHandler
+  activate: activateHelpHandler,
+  autoStart: true
 };
 
 
@@ -116,6 +117,7 @@ function activateHelpHandler(app: JupyterLab, mainMenu: IMainMenu, palette: ICom
   iframe.id = 'help-doc';
 
   COMMANDS.forEach(command => app.commands.addCommand(command.id, {
+    label: command.text,
     execute: () => {
       Private.attachHelp(app, iframe);
       Private.showHelp(app, iframe);