@@ -375,5 +375,9 @@ function activateConsole(app: JupyterLab, manager: IServiceManager, rendermime:
menu.addItem({ command: CommandIDs.closeAndShutdown });
mainMenu.addMenu(menu, {rank: 50});
+
+ app.contextMenu.addItem({command: CommandIDs.clear, selector: '.jp-CodeConsole'});
+ app.contextMenu.addItem({command: CommandIDs.restart, selector: '.jp-CodeConsole'});
return tracker;
}
@@ -179,5 +179,8 @@ function activate(app: JupyterLab, services: IServiceManager, mainMenu: IMainMen
});
+ app.contextMenu.addItem({command: CommandIDs.createNew, selector: '.jp-TerminalWidget', rank: 0});
+ app.contextMenu.addItem({command: CommandIDs.refresh, selector: '.jp-TerminalWidget', rank: 1});