@jupyter-notebook/notebook-extension 7.5.0-alpha.2 → 7.5.0-beta.0

package/lib/index.js

@@ -57,8 +57,8 @@ const checkpoints = {
     description: 'A plugin for the checkpoint indicator.',
     autoStart: true,
     requires: [IDocumentManager, ITranslator],
-    optional: [INotebookShell, IToolbarWidgetRegistry],
-    activate: (app, docManager, translator, notebookShell, toolbarRegistry) => {
+    optional: [INotebookShell, IToolbarWidgetRegistry, ISettingRegistry],
+    activate: (app, docManager, translator, notebookShell, toolbarRegistry, settingRegistry) => {
         const { shell } = app;
         const trans = translator.load('notebook');
         const node = document.createElement('div');
@@ -70,33 +70,92 @@ const checkpoints = {
                 return widget;
             });
         }
-        const onChange = async () => {
+        const getCurrent = () => {
             const current = shell.currentWidget;
             if (!current) {
-                return;
+                return null;
             }
             const context = docManager.contextForWidget(current);
-            context === null || context === void 0 ? void 0 : context.fileChanged.disconnect(onChange);
-            context === null || context === void 0 ? void 0 : context.fileChanged.connect(onChange);
-            const checkpoints = await (context === null || context === void 0 ? void 0 : context.listCheckpoints());
+            if (!context) {
+                return null;
+            }
+            return context;
+        };
+        const updateCheckpointDisplay = async () => {
+            const current = getCurrent();
+            if (!current) {
+                return;
+            }
+            const checkpoints = await current.listCheckpoints();
             if (!checkpoints || !checkpoints.length) {
+                node.textContent = '';
                 return;
             }
             const checkpoint = checkpoints[checkpoints.length - 1];
             node.textContent = trans.__('Last Checkpoint: %1', Time.formatHuman(new Date(checkpoint.last_modified)));
         };
+        const onSaveState = async (sender, state) => {
+            if (state !== 'completed') {
+                return;
+            }
+            // Add a small artificial delay so that the UI can pick up the newly created checkpoint.
+            // Since the save state signal is emitted after a file save, but not after a checkpoint has been created.
+            setTimeout(() => {
+                void updateCheckpointDisplay();
+            }, 500);
+        };
+        const onChange = async () => {
+            const context = getCurrent();
+            if (!context) {
+                return;
+            }
+            context.saveState.disconnect(onSaveState);
+            context.saveState.connect(onSaveState);
+            await updateCheckpointDisplay();
+        };
         if (notebookShell) {
             notebookShell.currentChanged.connect(onChange);
         }
-        new Poll({
-            auto: true,
-            factory: () => onChange(),
-            frequency: {
-                interval: 2000,
-                backoff: false,
-            },
-            standby: 'when-hidden',
-        });
+        let checkpointPollingInterval = 30; // Default 30 seconds
+        let poll = null;
+        const createPoll = () => {
+            if (poll) {
+                poll.dispose();
+            }
+            if (checkpointPollingInterval > 0) {
+                poll = new Poll({
+                    auto: true,
+                    factory: () => updateCheckpointDisplay(),
+                    frequency: {
+                        interval: checkpointPollingInterval * 1000,
+                        backoff: false,
+                    },
+                    standby: 'when-hidden',
+                });
+            }
+        };
+        const updateSettings = (settings) => {
+            checkpointPollingInterval = settings.get('checkpointPollingInterval')
+                .composite;
+            createPoll();
+        };
+        if (settingRegistry) {
+            const loadSettings = settingRegistry.load(checkpoints.id);
+            Promise.all([loadSettings, app.restored])
+                .then(([settings]) => {
+                updateSettings(settings);
+                settings.changed.connect(updateSettings);
+            })
+                .catch((reason) => {
+                console.error(`Failed to load settings for ${checkpoints.id}: ${reason.message}`);
+                // Fall back to creating poll with default settings
+                createPoll();
+            });
+        }
+        else {
+            // Create poll with default settings
+            createPoll();
+        }
     },
 };
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@jupyter-notebook/notebook-extension",
-  "version": "7.5.0-alpha.2",
+  "version": "7.5.0-beta.0",
   "description": "Jupyter Notebook - Notebook Extension",
   "homepage": "https://github.com/jupyter/notebook",
   "bugs": {
@@ -38,14 +38,14 @@
     "watch": "tsc -b --watch"
   },
   "dependencies": {
-    "@jupyter-notebook/application": "^7.5.0-alpha.2",
-    "@jupyterlab/application": "~4.5.0-alpha.3",
-    "@jupyterlab/apputils": "~4.6.0-alpha.3",
-    "@jupyterlab/cells": "~4.5.0-alpha.3",
-    "@jupyterlab/docmanager": "~4.5.0-alpha.3",
-    "@jupyterlab/notebook": "~4.5.0-alpha.3",
-    "@jupyterlab/settingregistry": "~4.5.0-alpha.3",
-    "@jupyterlab/translation": "~4.5.0-alpha.3",
+    "@jupyter-notebook/application": "^7.5.0-beta.0",
+    "@jupyterlab/application": "~4.5.0-beta.0",
+    "@jupyterlab/apputils": "~4.6.0-beta.0",
+    "@jupyterlab/cells": "~4.5.0-beta.0",
+    "@jupyterlab/docmanager": "~4.5.0-beta.0",
+    "@jupyterlab/notebook": "~4.5.0-beta.0",
+    "@jupyterlab/settingregistry": "~4.5.0-beta.0",
+    "@jupyterlab/translation": "~4.5.0-beta.0",
     "@lumino/polling": "^2.1.4",
     "@lumino/widgets": "^2.7.1",
     "react": "^18.2.0",

package/schema/checkpoints.json

@@ -4,7 +4,15 @@
   "jupyter.lab.toolbars": {
     "TopBar": [{ "name": "checkpoint", "rank": 20 }]
   },
-  "properties": {},
+  "properties": {
+    "checkpointPollingInterval": {
+      "type": "number",
+      "title": "Checkpoint Polling Interval (seconds)",
+      "description": "How often to check for checkpoints (in seconds). Set to 0 to disable polling.",
+      "default": 30,
+      "minimum": 0
+    }
+  },
   "additionalProperties": false,
   "type": "object"
 }