Merge pull request #7659 from jtpio/current-widget-null

Update the notebook tools on tracker.currentChanged
jupyterlab · Dec 19, 2019 · 0c2ef44 · 0c2ef44
2 parents 636a1ae + 389c76f
commit 0c2ef44
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/packages/notebook-extension/src/index.ts b/packages/notebook-extension/src/index.ts
@@ -507,11 +507,11 @@ function activateNotebookTools(
       labShell.currentChanged.connect((sender, args) => {
         updateTools();
       });
-    } else {
-      tracker.currentChanged.connect((sender, args) => {
-        updateTools();
-      });
     }
+    // A notebook widget could be closed without a change to labShell.currentWidget
+    tracker.currentChanged.connect((sender, args) => {
+      updateTools();
+    });
   });
 
   return notebookTools;