From d2fa616b0013fcf008a7c52c19487d4b2f15673f Mon Sep 17 00:00:00 2001
From: Marco Allegretti <mightymarco4@gmail.com>
Date: Wed, 11 Mar 2026 12:02:11 +0100
Subject: [PATCH] feat(shell): refresh installed apps list on every launcher
 open

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

diff --git a/infra/shell/system-ui.html b/infra/shell/system-ui.html
index e4760e1..f59a018 100644
--- a/infra/shell/system-ui.html
+++ b/infra/shell/system-ui.html
@@ -225,6 +225,9 @@
         var launcher = document.getElementById('launcher');
         if (launcher.hasAttribute('hidden')) {
           launcher.removeAttribute('hidden');
+          if (ws && ws.readyState === WebSocket.OPEN) {
+            ws.send(JSON.stringify({ type: 'QUERY_INSTALLED_APPS' }));
+          }
         } else {
           launcher.setAttribute('hidden', '');
         }