factory is already registered in edit

pull/6294/head
Jeremy Tuloup 4 years ago
parent 75ac4015ff
commit 6c1129ca90

@ -203,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;

Loading…
Cancel
Save