From 1974bad7f5454ccc06ee8831b4d46b32f8cf3cb5 Mon Sep 17 00:00:00 2001 From: Jeremy Tuloup Date: Mon, 1 Nov 2021 16:06:11 +0100 Subject: [PATCH] Remove extra `@jupyterlab/filebrowser-extension:download` --- app/index.js | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/app/index.js b/app/index.js index 176995c1..3452072a 100644 --- 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)