jupyterlab_advanced_image_viewer_extension 1.0.9 → 1.0.11

package/README.md

@@ -22,6 +22,7 @@ The viewer toolbar adds zoom in / out / fit controls and a `help` link that list
 - **Toolbar controls** - zoom in, zoom out, and reset-to-fit buttons on the viewer toolbar
 - **Arrow-key navigation** - Left and Right open the previous and next image in the same folder, advancing within one viewer instead of opening new tabs
 - **Copy to clipboard** - right-click a raster image (PNG/JPG/…) and choose "Copy to Clipboard" to copy it as PNG to the system clipboard
+- **Refresh** - a toolbar refresh button reloads the image from disk, the same control the HTML viewer provides
 
 ## Requirements
 

package/lib/index.js

@@ -2,6 +2,7 @@ import { Dialog, showDialog, Toolbar, ToolbarButton } from '@jupyterlab/apputils
 import { PathExt } from '@jupyterlab/coreutils';
 import { IImageTracker } from '@jupyterlab/imageviewer';
 import { ISettingRegistry } from '@jupyterlab/settingregistry';
+import { refreshIcon } from '@jupyterlab/ui-components';
 import { Widget } from '@lumino/widgets';
 import { ViewerController } from './controller';
 const PLUGIN_ID = 'jupyterlab_advanced_image_viewer_extension:plugin';
@@ -90,6 +91,17 @@ const plugin = {
                 controller.dispose();
                 controllers.delete(viewer);
             });
+            // Reload from disk, like the HTML viewer's refresh button. That button
+            // skips the reload while the model is dirty; an image model is never
+            // edited, so there is nothing here to discard.
+            widget.toolbar.addItem('advanced-refresh', new ToolbarButton({
+                icon: refreshIcon,
+                tooltip: 'Reload image from disk',
+                onClick: async () => {
+                    await widget.context.revert();
+                    widget.update();
+                }
+            }));
             widget.toolbar.addItem('advanced-zoom-out', new ToolbarButton({
                 label: '-',
                 tooltip: 'Zoom out',

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "jupyterlab_advanced_image_viewer_extension",
-    "version": "1.0.9",
+    "version": "1.0.11",
     "description": "JupyterLab extension for advanced image viewing: fit-to-screen, cursor-anchored wheel zoom, drag-to-pan, and Left/Right arrow keys to move to the previous and next image in a folder",
     "keywords": [
         "jupyter",
@@ -62,6 +62,7 @@
         "@jupyterlab/docregistry": "^4.0.0",
         "@jupyterlab/imageviewer": "^4.0.0",
         "@jupyterlab/settingregistry": "^4.0.0",
+        "@jupyterlab/ui-components": "^4.0.0",
         "@lumino/disposable": "^2.0.0",
         "@lumino/widgets": "^2.0.0"
     },

package/src/index.ts

@@ -18,6 +18,8 @@ import { IImageTracker, ImageViewer } from '@jupyterlab/imageviewer';
 
 import { ISettingRegistry } from '@jupyterlab/settingregistry';
 
+import { refreshIcon } from '@jupyterlab/ui-components';
+
 import { IDisposable } from '@lumino/disposable';
 
 import { Widget } from '@lumino/widgets';
@@ -134,6 +136,20 @@ const plugin: JupyterFrontEndPlugin<void> = {
         controllers.delete(viewer);
       });
 
+      // Reload from disk, like the HTML viewer's refresh button. That button
+      // skips the reload while the model is dirty; an image model is never
+      // edited, so there is nothing here to discard.
+      widget.toolbar.addItem(
+        'advanced-refresh',
+        new ToolbarButton({
+          icon: refreshIcon,
+          tooltip: 'Reload image from disk',
+          onClick: async () => {
+            await widget.context.revert();
+            widget.update();
+          }
+        })
+      );
       widget.toolbar.addItem(
         'advanced-zoom-out',
         new ToolbarButton({