Remove extra @jupyterlab/filebrowser-extension:download

jupyterlab · Nov 1, 2021 · 1974bad · 1974bad
1 parent efa9740
commit 1974bad
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/app/index.js b/app/index.js
@@ -124,10 +124,7 @@ async function main() {
     ),
     require('@jupyterlab/docprovider-extension'),
     require('@jupyterlab/filebrowser-extension').default.filter(({ id }) =>
-      [
-        '@jupyterlab/filebrowser-extension:factory',
-        '@jupyterlab/filebrowser-extension:download'
-      ].includes(id)
+      ['@jupyterlab/filebrowser-extension:factory'].includes(id)
     ),
     require('@jupyterlab/fileeditor-extension').default.filter(({ id }) =>
       ['@jupyterlab/fileeditor-extension:plugin'].includes(id)