Recreate nbgrader widgets after they are disposed.

Fixes #1772
jupyter · Apr 3, 2023 · d7d5cc9 · d7d5cc9
1 parent cdfbd53
commit d7d5cc9
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/assignment_list/index.ts b/src/assignment_list/index.ts
@@ -192,7 +192,7 @@ export const assignment_list_extension: JupyterFrontEndPlugin<void> = {
     app.commands.addCommand(command,{
       label: 'Assignment List',
       execute: () => {
-        if(!widget){
+        if(!widget || widget.isDisposed){
           const content = new AssignmentListWidget(app);
           widget = new MainAreaWidget({content});
           widget.id = 'nbgrader-assignment-list';

diff --git a/src/course_list/index.ts b/src/course_list/index.ts
@@ -123,7 +123,7 @@ export const course_list_extension: JupyterFrontEndPlugin<void> = {
         app.commands.addCommand(command, {
             label: 'Course List',
             execute: () => {
-                if (!widget) {
+                if (!widget || widget.isDisposed) {
                     const content = new CourseListWidget(app);
                     widget = new MainAreaWidget({content});
                     widget.id = 'nbgrader-course-list'

diff --git a/src/formgrader/index.ts b/src/formgrader/index.ts
@@ -78,7 +78,7 @@ export const formgrader_extension: JupyterFrontEndPlugin<void> = {
     app.commands.addCommand(command,{
     label: 'Formgrader',
     execute: async args => {
-      if(!widget){
+      if(!widget || widget.isDisposed){
         const settings = ServerConnection.makeSettings();
         const url = (args.url as string) || URLExt.join(settings.baseUrl, "formgrader");