|
@@ -179,7 +179,6 @@ function activate(app: JupyterLab, services: IServiceManager, mainMenu: IMainMen
|
|
app.contextMenu.addItem({command: CommandIDs.refresh, selector: '.jp-TerminalWidget', rank: 1});
|
|
app.contextMenu.addItem({command: CommandIDs.refresh, selector: '.jp-TerminalWidget', rank: 1});
|