@@ -44,7 +44,6 @@ export class DeckManager implements IDeckManager {
4444 protected _designTools : DesignTools | null = null ;
4545 protected _settings : Promise < ISettingRegistry . ISettings > ;
4646 protected _labShell ?: LabShell | null ;
47- protected _notebookShell ?: INotebookShell | null ;
4847 protected _dockPanel : DockPanel | null = null ;
4948 protected _shell : JupyterFrontEnd . IShell ;
5049 protected _statusbar : StatusBar | null ;
@@ -509,16 +508,15 @@ export class DeckManager implements IDeckManager {
509508 }
510509
511510 protected get _shellActiveWidget ( ) : Widget | null {
512- const { _labShell, _notebookShell , _dockPanel } = this ;
511+ const { _labShell, _shell , _dockPanel } = this ;
513512 if ( _labShell && _dockPanel ) {
514513 if ( _labShell . activeWidget ) {
515514 return _labShell . activeWidget ;
516515 }
517516 return getSelectedWidget ( _dockPanel ) ;
518- } else if ( _notebookShell ) {
519- return _notebookShell . currentWidget || null ;
517+ } else {
518+ return ( _shell as INotebookShell ) . currentWidget || null ;
520519 }
521- return null ;
522520 }
523521
524522 protected async _onSettingsChanged ( ) {
@@ -603,7 +601,6 @@ export namespace DeckManager {
603601 export interface IOptions {
604602 commands : CommandRegistry ;
605603 labShell : ILabShell | null ;
606- notebookShell : INotebookShell | null ;
607604 shell : JupyterFrontEnd . IShell ;
608605 translator : TranslationBundle ;
609606 statusbar : StatusBar | null ;
0 commit comments