Make widget not closable

mamba-org · Nov 7, 2020 · a6fe03d · a6fe03d
1 parent d204fb2
commit a6fe03d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/packages/navigator/src/app/shell.ts b/packages/navigator/src/app/shell.ts
@@ -90,9 +90,6 @@ export class GatorShell extends Widget {
       return;
     }
 
-    // make the widget closable
-    widget.title.closable = true;
-
     const dock = this._main;
 
     const { title } = widget;

diff --git a/packages/navigator/src/plugins/navigator/index.ts b/packages/navigator/src/plugins/navigator/index.ts
@@ -27,6 +27,7 @@ const plugin: GatorFrontEndPlugin<void> = {
     content.title.caption = 'Conda Packages Manager';
     content.title.icon = condaIcon;
     const widget = new MainAreaWidget({ content });
+    widget.title.closable = false;
     app.shell.add(widget, 'main');
   }
 };