File tree 1 file changed +23
-2
lines changed
1 file changed +23
-2
lines changed Original file line number Diff line number Diff line change @@ -473,14 +473,27 @@ define([
473
473
getLabNotebookPanel ( ) {
474
474
var mainWidgets = this . app . shell . widgets ( 'main' ) ;
475
475
var widget = mainWidgets . next ( ) ;
476
- while ( widget ) {
477
- if ( widget . sessionContext ) {
476
+ while ( widget ) {
477
+ if ( widget . sessionContext ) {
478
478
var type = widget . sessionContext . type ;
479
479
if ( type == 'notebook' || type == 'console' ) { //other wigets might be of type DocumentWidget
480
480
if ( widget . isVisible ) {
481
481
return widget ;
482
482
}
483
483
}
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 ;
484
497
}
485
498
widget = mainWidgets . next ( ) ;
486
499
}
@@ -494,6 +507,14 @@ define([
494
507
while ( widget ) {
495
508
if ( widget . sessionContext ) {
496
509
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 ;
497
518
}
498
519
widget = mainWidgets . next ( ) ;
499
520
}
You can’t perform that action at this time.
0 commit comments