|
@@ -75,6 +75,7 @@ function activate(app: JupyterLab, palette: ICommandPalette): ILauncher {
|
|
widget.model = model;
|
|
widget.model = model;
|
|
widget.id = id;
|
|
widget.id = id;
|
|
widget.title.label = 'Launcher';
|
|
widget.title.label = 'Launcher';
|
|
|
|
+ widget.title.iconClass = 'jp-MaterialIcon jp-LauncherIcon';
|
|
widget.title.closable = true;
|
|
widget.title.closable = true;
|
|
shell.addToMainArea(widget);
|
|
shell.addToMainArea(widget);
|
|
if (args['activate'] !== false) {
|
|
if (args['activate'] !== false) {
|