From 0c43efb4cfd2fccc8ddfb8da339837ad4ae8bdbe Mon Sep 17 00:00:00 2001
From: Djangoliv <djangoliv@mailoo.org>
Date: Tue, 9 Jun 2026 10:18:25 +0200
Subject: [PATCH 1/2] reword message

---
 tljh-plasma/tljh_plasma/templates/home.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tljh-plasma/tljh_plasma/templates/home.html b/tljh-plasma/tljh_plasma/templates/home.html
index 1b75d6c..61ff87b 100644
--- a/tljh-plasma/tljh_plasma/templates/home.html
+++ b/tljh-plasma/tljh_plasma/templates/home.html
@@ -235,7 +235,7 @@ <h1 class="visually-hidden">JupyterHub home page</h1>
     // ---- stop server ----
 
     document.getElementById("stop-server").addEventListener("click", function() {
-        if (!confirm("Arrêter le serveur ?")) return;
+        if (!confirm("Quitter l'environnement ?")) return;
         fetch(BASE_URL + "api/users/" + CURRENT_USER + "/server", {
             method: "DELETE",
             headers: {"X-XSRFToken": CSRF_TOKEN}

From d22f6559a13de3011c79df39fc7727593b61dfb8 Mon Sep 17 00:00:00 2001
From: Djangoliv <djangoliv@mailoo.org>
Date: Wed, 10 Jun 2026 11:31:47 +0200
Subject: [PATCH 2/2] feat: show loading spinner when navigating from launcher
 in iframe

---
 tljh-plasma/tljh_plasma/templates/home.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tljh-plasma/tljh_plasma/templates/home.html b/tljh-plasma/tljh_plasma/templates/home.html
index 61ff87b..d0c6264 100644
--- a/tljh-plasma/tljh_plasma/templates/home.html
+++ b/tljh-plasma/tljh_plasma/templates/home.html
@@ -196,6 +196,10 @@ <h1 class="visually-hidden">JupyterHub home page</h1>
                 link.removeAttribute("target");
             });
             iframe.contentWindow.open = function(url) {
+                error.style.display = "none";
+                loading.style.display = "block";
+                overlay.style.display = "flex";
+                loadTimer = startLoadTimer();
                 iframe.src = url;
             };
         } catch(e) {}