|
@@ -347,6 +347,7 @@ function activateConsole(app: JupyterLab, services: IServiceManager, rendermime:
|
|
panel.title.icon = `${LANDSCAPE_ICON_CLASS} ${CONSOLE_ICON_CLASS}`;
|
|
panel.title.icon = `${LANDSCAPE_ICON_CLASS} ${CONSOLE_ICON_CLASS}`;
|
|
panel.title.closable = true;
|
|
panel.title.closable = true;
|
|
app.shell.addToMainArea(panel);
|
|
app.shell.addToMainArea(panel);
|
|
|
|
+ app.shell.activateMain(panel.id);
|
|
// Update the caption of the tab with the last execution time.
|
|
// Update the caption of the tab with the last execution time.
|
|
panel.content.executed.connect((sender, executed) => {
|
|
panel.content.executed.connect((sender, executed) => {
|
|
captionOptions.executed = executed;
|
|
captionOptions.executed = executed;
|