From a3a826058e69e79d1373a4eb55c12306b5523399 Mon Sep 17 00:00:00 2001
From: Marco Allegretti <mightymarco4@gmail.com>
Date: Wed, 11 Mar 2026 11:39:21 +0100
Subject: [PATCH] feat(shell): close launcher on Escape key and click-outside

---
 infra/shell/system-ui.html | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/infra/shell/system-ui.html b/infra/shell/system-ui.html
index cce3c81..56672d4 100644
--- a/infra/shell/system-ui.html
+++ b/infra/shell/system-ui.html
@@ -197,6 +197,18 @@
         }
       });
 
+      document.addEventListener('keydown', function (e) {
+        if (e.key === 'Escape') {
+          document.getElementById('launcher').setAttribute('hidden', '');
+        }
+      });
+
+      document.getElementById('launcher').addEventListener('click', function (e) {
+        if (e.target === this) {
+          this.setAttribute('hidden', '');
+        }
+      });
+
       var APPD_WS_PORT = window.WEFT_APPD_WS_PORT || 7410;
       var ws = null;
       var wsReconnectDelay = 1000;