Add completer and tooltip to the consoles

5 years ago · 3fe6d535c9
parent 32a279ef49
commit 3fe6d535c9
1 changed files with 14 additions and 0 deletions
--- a/app/index.js
+++ b/app/index.js
@ -176,6 +176,20 @@ async function main() {
      ]);
      break;
    }
+    case 'consoles': {
+      mods = mods.concat([
+        require('@jupyterlab/completer-extension').default.filter(({ id }) =>
+          ['@jupyterlab/completer-extension:consoles'].includes(id)
+        ),
+        require('@jupyterlab/tooltip-extension').default.filter(({ id }) =>
+          [
+            '@jupyterlab/tooltip-extension:manager',
+            '@jupyterlab/tooltip-extension:consoles'
+          ].includes(id)
+        )
+      ]);
+      break;
+    }
    case 'edit': {
      mods = mods.concat([
        require('@jupyterlab/completer-extension').default.filter(({ id }) =>