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', ''); }