diff options
| -rw-r--r-- | src/gui/gui-key.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/gui/gui-key.c b/src/gui/gui-key.c index 19aa00f0f..ee43631ab 100644 --- a/src/gui/gui-key.c +++ b/src/gui/gui-key.c @@ -2388,6 +2388,11 @@ gui_key_pressed (const char *key_str) rc_expand = gui_key_expand (gui_key_combo, &key_name, &key_name_alias); + if (!rc_expand) + { + goto end_no_input; + } + ptr_key = NULL; exact_match = 0; |