add download button

UTCSheffield · Jan 9, 2024 · 41fa493 · 41fa493
1 parent 1f097f9
commit 41fa493
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/overrides.json b/overrides.json
@@ -0,0 +1,14 @@
+{
+    "@jupyterlab/notebook-extension:panel": {
+      "toolbar": [
+        {
+          "name": "download",
+          "label": "Download",
+          "args": {},
+          "command": "docmanager:download",
+          "icon": "ui-components:download",
+          "rank": 50
+        }
+      ]
+    }
+  }