From 3fe6d535c9dc997e116d4ecc1589098ca5fb6aa5 Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Mon, 30 Aug 2021 10:33:30 +0200
Subject: [PATCH] Add completer and tooltip to the consoles

---
 app/index.js | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/app/index.js b/app/index.js
index f654b8908..ae65bfedd 100644
--- 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 }) =>