diff options
| -rw-r--r-- | src/gui/gui-key.c | 5 |
1 files changed, 4 insertions, 1 deletions
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; } |