From cdcb9566d4d24c065e461b1c8e3220ff68ef98ac Mon Sep 17 00:00:00 2001
From: MickaelK <mickael@kerjean.me>
Date: Mon, 27 Jul 2026 13:58:11 +1000
Subject: [PATCH] fix (plg_widget_console): update shortcut

---
 server/plugin/plg_widget_console/assets/shell.patch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/plugin/plg_widget_console/assets/shell.patch b/server/plugin/plg_widget_console/assets/shell.patch
index f03d8547..269d6701 100644
--- a/server/plugin/plg_widget_console/assets/shell.patch
+++ b/server/plugin/plg_widget_console/assets/shell.patch
@@ -21,6 +21,6 @@ index a499e5ef..caebd17c 100644
 +        const $shell = qs($page, "component-shell");
 +        $shell.setAttribute("path", urlToPath(fromHref(location.pathname + location.hash)));
 +        effect(rxjs.fromEvent(window, "keydown").pipe(
-+            rxjs.filter((e) => ["F4", "F9", "F12"].indexOf(e.code) !== -1),
++            rxjs.filter((e) => ["F4", "F9"].indexOf(e.code) !== -1),
 +            rxjs.tap(() => $shell.classList.toggle("hidden")),
 +        ));