File tree Expand file tree Collapse file tree 3 files changed +12
-3
lines changed Expand file tree Collapse file tree 3 files changed +12
-3
lines changed Original file line number Diff line number Diff line change @@ -210,7 +210,10 @@ export const assignment_list_extension: JupyterFrontEndPlugin<void> = {
210
210
211
211
// Attach the widget to the main area if it's not there
212
212
if ( ! widget . isAttached ) {
213
- if ( notebookTree ) notebookTree . addWidget ( widget ) ;
213
+ if ( notebookTree ) {
214
+ notebookTree . addWidget ( widget ) ;
215
+ notebookTree . currentWidget = widget ;
216
+ }
214
217
else app . shell . add ( widget , 'main' ) ;
215
218
}
216
219
Original file line number Diff line number Diff line change @@ -139,7 +139,10 @@ export const course_list_extension: JupyterFrontEndPlugin<void> = {
139
139
140
140
// Attach the widget to the main area if it's not there
141
141
if ( ! widget . isAttached ) {
142
- if ( notebookTree ) notebookTree . addWidget ( widget ) ;
142
+ if ( notebookTree ) {
143
+ notebookTree . addWidget ( widget ) ;
144
+ notebookTree . currentWidget = widget ;
145
+ }
143
146
else app . shell . add ( widget , 'main' ) ;
144
147
}
145
148
Original file line number Diff line number Diff line change @@ -98,7 +98,10 @@ export const formgrader_extension: JupyterFrontEndPlugin<void> = {
98
98
99
99
// Attach the widget to the main area if it's not there
100
100
if ( ! widget . isAttached ) {
101
- if ( notebookTree ) notebookTree . addWidget ( widget ) ;
101
+ if ( notebookTree ) {
102
+ notebookTree . addWidget ( widget ) ;
103
+ notebookTree . currentWidget = widget ;
104
+ }
102
105
else app . shell . add ( widget , 'main' ) ;
103
106
}
104
107
You can’t perform that action at this time.
0 commit comments