summaryrefslogtreecommitdiff
path: root/menu.c
diff options
context:
space:
mode:
authorpommicket <pommicket@gmail.com>2023-01-01 12:05:48 -0500
committerpommicket <pommicket@gmail.com>2023-01-01 12:05:48 -0500
commit8308d6fc53ee339a0b5cac4b9b837179c61efbaa (patch)
treee4f94a5695e9d5cf035582799738dc2e75c0e779 /menu.c
parent57834dc0b116a62b806781ddec101bca4cda3abb (diff)
more reorganizing
Diffstat (limited to 'menu.c')
-rw-r--r--menu.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/menu.c b/menu.c
index 07801a6..2d55e0b 100644
--- a/menu.c
+++ b/menu.c
@@ -271,7 +271,7 @@ static void menu_update(Ted *ted) {
SelectorEntry *entry = entries;
for (Command c = 0; c < CMD_COUNT; ++c) {
char const *name = command_to_str(c);
- if (c != CMD_UNKNOWN && *name && stristr(name, search_term)) {
+ if (c != CMD_UNKNOWN && *name && strstr_case_insensitive(name, search_term)) {
entry->name = name;
entry->color = colors[COLOR_TEXT];
++entry;