From 7d403d41e60a4235b957f1188da60b8ffa51257c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= Date: Sat, 4 Nov 2023 08:35:45 +0100 Subject: core: remove incorrect warning when binding keys F10 to F20 (closes #2039) --- src/gui/gui-key.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/gui/gui-key.c b/src/gui/gui-key.c index 6602e141c..90da58642 100644 --- a/src/gui/gui-key.c +++ b/src/gui/gui-key.c @@ -75,8 +75,8 @@ char *gui_key_modifier_list[] = { "meta-", "ctrl-", "shift-", NULL }; char *gui_key_alias_list[] = -{ "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7", "f8", "f9", "f10", "f11", - "f12", "f13", "f14", "f15", "f16", "f17", "f18", "f19", "f20", +{ "f10", "f11", "f12", "f13", "f14", "f15", "f16", "f17", "f18", "f19", "f20", + "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7", "f8", "f9", "home", "insert", "delete", "end", "backspace", "pgup", "pgdn", "up", "down", "right", "left", "tab", "return", "comma", "space", NULL }; -- cgit v1.2.3