Remove extra `@jupyterlab/filebrowser-extension:download`

5 years ago · 1974bad7f5
parent efa9740494
commit 1974bad7f5
1 changed files with 1 additions and 4 deletions
--- 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)