From e91083ae0f0652db9a846c2d262f37fec34211fc Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Wed, 13 Jan 2021 10:10:05 +0100
Subject: [PATCH] Add completer-extension:files plugin for editors

---
 builder/index.js | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/builder/index.js b/builder/index.js
index 51e3d2f97..17d3a1e93 100644
--- a/builder/index.js
+++ b/builder/index.js
@@ -90,6 +90,9 @@ async function main() {
     require('@jupyterlab/codemirror-extension').default.filter(({ id }) =>
       ['@jupyterlab/codemirror-extension:services'].includes(id)
     ),
+    require('@jupyterlab/completer-extension').default.filter(({ id }) =>
+      ['@jupyterlab/completer-extension:manager'].includes(id)
+    ),
     require('@jupyterlab/docmanager-extension').default.filter(({ id }) =>
       ['@jupyterlab/docmanager-extension:plugin'].includes(id)
     ),
@@ -121,10 +124,7 @@ async function main() {
   } else if (page === 'notebooks') {
     mods = mods.concat([
       require('@jupyterlab/completer-extension').default.filter(({ id }) =>
-        [
-          '@jupyterlab/completer-extension:manager',
-          '@jupyterlab/completer-extension:notebooks'
-        ].includes(id)
+        ['@jupyterlab/completer-extension:notebooks'].includes(id)
       ),
       require('@jupyterlab/tooltip-extension').default.filter(({ id }) =>
         [
@@ -135,6 +135,9 @@ async function main() {
     ]);
   } else if (page === 'edit') {
     mods = mods.concat([
+      require('@jupyterlab/completer-extension').default.filter(({ id }) =>
+        ['@jupyterlab/completer-extension:files'].includes(id)
+      ),
       require('@jupyterlab/fileeditor-extension').default.filter(({ id }) =>
         ['@jupyterlab/fileeditor-extension:plugin'].includes(id)
       ),