From 73b376060b048db043ef03c70eb7cc579ceb6183 Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Fri, 11 Jun 2021 11:26:35 +0200
Subject: [PATCH] Update app/index.js

---
 app/index.js | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/app/index.js b/app/index.js
index d666d610..71877c59 100644
--- a/app/index.js
+++ b/app/index.js
@@ -87,9 +87,6 @@ async function main() {
     require('@retrolab/docmanager-extension'),
     require('@retrolab/help-extension'),
     require('@retrolab/notebook-extension'),
-    require('@retrolab/lab-extension').default.filter(({ id }) =>
-      ['@retrolab/lab-extension:interface-switcher'].includes(id)
-    ),
     // to handle opening new tabs after creating a new terminal
     require('@retrolab/terminal-extension'),