From 0d83664017c61060924be98f661274f76c170596 Mon Sep 17 00:00:00 2001
From: krassowski <5832902+krassowski@users.noreply.github.com>
Date: Sat, 17 Aug 2024 10:27:21 +0100
Subject: [PATCH] Disable more plugins in repl, fix iframe reveal

---
 content/demo.html      | 2 +-
 repl/jupyter-lite.json | 9 ++++++++-
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/content/demo.html b/content/demo.html
index 464bf80..65c10e0 100644
--- a/content/demo.html
+++ b/content/demo.html
@@ -197,7 +197,7 @@ <h2>CDAO AI Assurance Portal</h2>
             const jupyter = await getJupyterApp(iframe);
             jupyter.restored.then(() => {
               codeEl.style.display = 'none';
-              iframe.style.display = 'block';
+              iframe.style.opacity = '1';
               spinerWrapper.style.display = 'none';
             });
             jupyter.shell.currentChanged.connect((shell, change) => {
diff --git a/repl/jupyter-lite.json b/repl/jupyter-lite.json
index e4f1c65..b4bf79c 100644
--- a/repl/jupyter-lite.json
+++ b/repl/jupyter-lite.json
@@ -10,7 +10,14 @@
         "jupyterlab-nebari-mode:logo",
         "@jupyter-notebook/lab-extension:interface-switcher",
         "@jupyterlite/server-extension:service-worker",
-        "@jupyterhub/jupyter-server-proxy"
+        "@jupyterhub/jupyter-server-proxy",
+        "@jupyterlite/terminal",
+        "@jupyterlab/apputils-extension:announcements",
+        "@jupyterlab/apputils-extension:themes-palette-menu",
+        "@jupyterlab/theme-dark-high-contrast-extension:plugin",
+        "@jupyterlite/application-extension:about",
+        "@jupyterlab/pdf-extension:factory",
+        "@jupyter-notebook/lab-extension:launch-tree"
       ],
       "exposeAppInBrowser": true
     }