Make widget not closable

Author: fcollonval

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;

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');
   }
 };