Parcourir la source

Make inspector tab closable.

Afshin Darian il y a 8 ans
Parent
commit
15df154968
1 fichiers modifiés avec 1 ajouts et 0 suppressions
  1. 1 0
      src/inspector/plugin.ts

+ 1 - 0
src/inspector/plugin.ts

@@ -38,6 +38,7 @@ function activateInspector(app: JupyterLab, palette: ICommandPalette): IInspecto
 
   inspector.id = 'jp-inspector';
   inspector.title.label = 'Inspector';
+  inspector.title.closable = true;
 
   function openInspector(): void {
     if (!opened) {