Activate by default the new created tab in Notebook (assignment list,…

… course list and formgrader)
jupyter · Nov 8, 2022 · c4829c3 · c4829c3
1 parent d90009d
commit c4829c3
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 3 deletions.
diff --git a/src/assignment_list/index.ts b/src/assignment_list/index.ts
@@ -210,7 +210,10 @@ export const assignment_list_extension: JupyterFrontEndPlugin<void> = {
 
  // Attach the widget to the main area if it's not there
  if(!widget.isAttached){
- if (notebookTree) notebookTree.addWidget(widget);
+ if (notebookTree){
+ notebookTree.addWidget(widget);
+ notebookTree.currentWidget = widget;
+ }
  else app.shell.add(widget, 'main');
  }
 

diff --git a/src/course_list/index.ts b/src/course_list/index.ts
@@ -139,7 +139,10 @@ export const course_list_extension: JupyterFrontEndPlugin<void> = {
 
  // Attach the widget to the main area if it's not there
  if(!widget.isAttached){
- if (notebookTree) notebookTree.addWidget(widget);
+ if (notebookTree){
+ notebookTree.addWidget(widget);
+ notebookTree.currentWidget = widget;
+ }
  else app.shell.add(widget, 'main');
  }
 

diff --git a/src/formgrader/index.ts b/src/formgrader/index.ts
@@ -98,7 +98,10 @@ export const formgrader_extension: JupyterFrontEndPlugin<void> = {
 
  // Attach the widget to the main area if it's not there
  if(!widget.isAttached){
- if (notebookTree) notebookTree.addWidget(widget);
+ if (notebookTree){
+ notebookTree.addWidget(widget);
+ notebookTree.currentWidget = widget;
+ }
  else app.shell.add(widget, 'main');
  }