Low priority: case insensitive emoji picker #50

Closed
opened 2022-08-01 07:14:45 +00:00 by ente · 1 comment
No description provided.
Author

It is mildly annoying that the Emoji picker is case sensitive.

Looking for Hide will output different emojis than hide

Maybe it is possible to make the lookup non-casesensitive.

It is mildly annoying that the Emoji picker is case sensitive. Looking for `Hide` will output different emojis than `hide` Maybe it is possible to make the lookup non-casesensitive.
ente changed title from Low priority: to Low priority: Small changes to Emoji picker 2022-08-01 07:16:17 +00:00
Johann150 changed title from Low priority: Small changes to Emoji picker to Low priority: case insensitive emoji picker 2022-08-01 08:57:37 +00:00
Johann150 added this to the (deleted) project 2022-08-01 08:57:44 +00:00
Johann150 added the
feature
label 2022-12-23 10:17:14 +00:00
Johann150 removed this from the (deleted) project 2022-12-23 10:17:17 +00:00
Sign in to join this conversation.
No labels
feature
fix
upkeep
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: FoundKeyGang/FoundKey#50
No description provided.