Merge pull request #249 from jtpio/filebrowser-plugin

Hoist the filebrowser factory plugin
jupyterlab · Oct 12, 2021 · a901cb1 · a901cb1
2 parents 9728d15 + 6c1129c
commit a901cb1
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/app/index.js b/app/index.js
@@ -122,6 +122,9 @@ async function main() {
       ['@jupyterlab/docmanager-extension:plugin'].includes(id)
     ),
     require('@jupyterlab/docprovider-extension'),
+    require('@jupyterlab/filebrowser-extension').default.filter(({ id }) =>
+      ['@jupyterlab/filebrowser-extension:factory'].includes(id)
+    ),
     require('@jupyterlab/fileeditor-extension').default.filter(({ id }) =>
       ['@jupyterlab/fileeditor-extension:plugin'].includes(id)
     ),
@@ -156,7 +159,6 @@ async function main() {
           [
             '@jupyterlab/filebrowser-extension:browser',
             '@jupyterlab/filebrowser-extension:download',
-            '@jupyterlab/filebrowser-extension:factory',
             '@jupyterlab/filebrowser-extension:file-upload-status',
             '@jupyterlab/filebrowser-extension:open-with',
             '@jupyterlab/filebrowser-extension:share-file'
@@ -201,10 +203,7 @@ async function main() {
           ['@jupyterlab/completer-extension:files'].includes(id)
         ),
         require('@jupyterlab/filebrowser-extension').default.filter(({ id }) =>
-          [
-            '@jupyterlab/filebrowser-extension:browser',
-            '@jupyterlab/filebrowser-extension:factory'
-          ].includes(id)
+          ['@jupyterlab/filebrowser-extension:browser'].includes(id)
         )
       ]);
       break;