From 5f3094ea442390be50305e258c1501415a6b95c9 Mon Sep 17 00:00:00 2001 From: Jul Date: Tue, 9 Jun 2026 08:54:50 +0100 Subject: [PATCH] =?UTF-8?q?Add=20support=20for=20function=20keys=20(F1?= =?UTF-8?q?=E2=80=93F12)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Adds F1 through F12 as repeatable keypress commands, following the existing pattern used by keys like PageUp: - token: new F1–F12 token constants, keyword mappings, and IsCommand - parser: F1–F12 added to CommandTypes and the keypress switch, so they accept the standard `Key[@