3 Commits

Author	SHA1	Message	Date
Stefan Haller	561afa9901	Rename FuzzySearch to FilterStrings ... It isn't necessarily fuzzy any more.	2024-03-17 11:55:30 +01:00
Stefan Haller	a8797c7261	Default to substring filtering, add option to go back to fuzzy filtering ... By default we now search for substrings; you can search for multiple substrings by separating them with spaces. Add a config option gui.filterMode that can be set to 'fuzzy' to switch back to the previous behavior.	2024-03-17 11:55:09 +01:00
Jesse Duffield	bf5871cc4f	Case insensitive string comparison	2023-07-03 12:54:13 +10:00