mirror of
https://github.com/JakeStanger/Rofi_MPD.git
synced 2026-07-11 12:14:40 +01:00
[GH-ISSUE #6] Suggestion : Case insensitve search #4
Labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
JakeStanger/Rofi_MPD#4
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @monsieurh on GitHub (Oct 5, 2018).
Original GitHub issue: https://github.com/JakeStanger/Rofi_MPD/issues/6
I would love to have the search method being insensive to case and/or with fuzzy search.
@JakeStanger commented on GitHub (Oct 5, 2018):
I will have to look into how Rofi handles this. You may already be able to do it with
--argsand I know rofi has a case insensitive setting, although I couldn't get this to work myself.@JakeStanger commented on GitHub (Oct 5, 2018):
f02f06edisables case-sensitivity by default. You can also pass an-iflag to re-enable case sensitivity.I also discovered you can toggle case sensitivity from inside Rofi with the grave key.
This commit also fixes Rofi command line arguments not being passed correctly, which I discovered in the process.