diff options
author | pommicket <pommicket@gmail.com> | 2023-01-01 12:05:48 -0500 |
---|---|---|
committer | pommicket <pommicket@gmail.com> | 2023-01-01 12:05:48 -0500 |
commit | 8308d6fc53ee339a0b5cac4b9b837179c61efbaa (patch) | |
tree | e4f94a5695e9d5cf035582799738dc2e75c0e779 /menu.c | |
parent | 57834dc0b116a62b806781ddec101bca4cda3abb (diff) |
more reorganizing
Diffstat (limited to 'menu.c')
-rw-r--r-- | menu.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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; |