From eebd3194c87e41195f8faa80b0cb8e6a39c6b448 Mon Sep 17 00:00:00 2001 From: Jeremy Tuloup Date: Fri, 18 Mar 2022 11:46:56 +0100 Subject: [PATCH] Fix completer --- app/index.js | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/app/index.js b/app/index.js index d75e5c112..97fd0fb64 100644 --- a/app/index.js +++ b/app/index.js @@ -95,7 +95,10 @@ async function main() { ].includes(id) ), require('@jupyterlab/completer-extension').default.filter(({ id }) => - ['@jupyterlab/completer-extension:manager'].includes(id) + [ + '@jupyterlab/completer-extension:base-service', + '@jupyterlab/completer-extension:tracker' + ].includes(id) ), require('@jupyterlab/console-extension').default.filter(({ id }) => [ @@ -166,8 +169,8 @@ async function main() { } case 'notebooks': { baseMods = baseMods.concat([ - require('@jupyterlab/completer-extension').default.filter(({ id }) => - ['@jupyterlab/completer-extension:notebooks'].includes(id) + require('@jupyterlab/notebook-extension').default.filter(({ id }) => + ['@jupyterlab/notebook-extension:completer'].includes(id) ), require('@jupyterlab/tooltip-extension').default.filter(({ id }) => [ @@ -180,8 +183,8 @@ async function main() { } case 'consoles': { baseMods = baseMods.concat([ - require('@jupyterlab/completer-extension').default.filter(({ id }) => - ['@jupyterlab/completer-extension:consoles'].includes(id) + require('@jupyterlab/console-extension').default.filter(({ id }) => + ['@jupyterlab/console-extension:completer'].includes(id) ), require('@jupyterlab/tooltip-extension').default.filter(({ id }) => [ @@ -194,8 +197,8 @@ async function main() { } case 'edit': { baseMods = baseMods.concat([ - require('@jupyterlab/completer-extension').default.filter(({ id }) => - ['@jupyterlab/completer-extension:files'].includes(id) + require('@jupyterlab/fileeditor-extension').default.filter(({ id }) => + ['@jupyterlab/fileeditor-extension:completer'].includes(id) ), require('@jupyterlab/filebrowser-extension').default.filter(({ id }) => ['@jupyterlab/filebrowser-extension:browser'].includes(id)