From 844b57a26d87e298fdcff4b159b0a9ff5190330c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Thu, 26 Jan 2023 23:32:14 +0100
Subject: [PATCH] core: make key contexts case sensitive (issue #1872)

---
 src/gui/gui-key.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/gui/gui-key.c b/src/gui/gui-key.c
index e9bbd588d..203126579 100644
--- a/src/gui/gui-key.c
+++ b/src/gui/gui-key.c
@@ -136,9 +136,12 @@ gui_key_search_context (const char *context)
 {
     int i;
 
+    if (!context)
+        return -1;
+
     for (i = 0; i < GUI_KEY_NUM_CONTEXTS; i++)
     {
-        if (string_strcasecmp (gui_key_context_string[i], context) == 0)
+        if (strcmp (gui_key_context_string[i], context) == 0)
             return i;
     }