File tree Expand file tree Collapse file tree 1 file changed +23
-2
lines changed
Expand file tree Collapse file tree 1 file changed +23
-2
lines changed Original file line number Diff line number Diff line change @@ -473,14 +473,27 @@ define([
473473 getLabNotebookPanel ( ) {
474474 var mainWidgets = this . app . shell . widgets ( 'main' ) ;
475475 var widget = mainWidgets . next ( ) ;
476- while ( widget ) {
477- if ( widget . sessionContext ) {
476+ while ( widget ) {
477+ if ( widget . sessionContext ) {
478478 var type = widget . sessionContext . type ;
479479 if ( type == 'notebook' || type == 'console' ) { //other wigets might be of type DocumentWidget
480480 if ( widget . isVisible ) {
481481 return widget ;
482482 }
483483 }
484+ } else if ( widget . value !== undefined && widget . done === false ) {
485+ // for upper lab 4
486+ let widgetObj = widget . value ;
487+ if ( widgetObj . sessionContext ) {
488+ var type = widgetObj . sessionContext . type ;
489+ if ( type == 'notebook' || type == 'console' ) { //other wigets might be of type DocumentWidget
490+ if ( widgetObj . isVisible ) {
491+ return widgetObj ;
492+ }
493+ }
494+ }
495+ } else if ( widget . done === true ) {
496+ break ;
484497 }
485498 widget = mainWidgets . next ( ) ;
486499 }
@@ -494,6 +507,14 @@ define([
494507 while ( widget ) {
495508 if ( widget . sessionContext ) {
496509 widgetList . push ( widget ) ;
510+ } else if ( widget . value !== undefined && widget . done === false ) {
511+ // for upper lab 4
512+ let widgetObj = widget . value ;
513+ if ( widgetObj . sessionContext ) {
514+ widgetList . push ( widgetObj ) ;
515+ }
516+ } else if ( widget . done === true ) {
517+ break ;
497518 }
498519 widget = mainWidgets . next ( ) ;
499520 }
You can’t perform that action at this time.
0 commit comments