Parcourir la source

Merge pull request #193 from jtpio/restore-sidebar

Add the sidebar to the layout restorer
KsavinN il y a 5 ans
Parent
commit
03248643e6
1 fichiers modifiés avec 4 ajouts et 0 suppressions
  1. 4 0
      src/index.ts

+ 4 - 0
src/index.ts

@@ -277,6 +277,10 @@ const main: JupyterFrontEndPlugin<IDebugger> = {
         sidebar.title.label = 'Environment';
         shell.add(sidebar, 'right', { activate: false });
 
+        if (restorer) {
+          restorer.add(sidebar, 'debugger-sidebar');
+        }
+
         await service.restoreState(true);
       }
     });