Thorsten Ball 6d4fe8098b Fix panic in fuzzy-finder for unicode characters (#7080) ... This fixes a panic in the fuzzy finder which someone ran into when typing in a query that contained the lower-case version of a unicode character that has more chars than its upper-case version. It also fixes another problem which was that we didn't find a match if both candidates and query contained upper-case characters whose lower-case version had more chars. Release Notes: - Fixed a panic in fuzzy-finder that could occur when matching with queries containing upper-case unicode characters whose lower-case version has more chars. Co-authored-by: bennetbo <bennetbo@gmx.de>		2024-01-30 16:10:35 +01:00
..
char_bag.rs	One big cleanup pass of clippy lints	2022-08-10 16:51:01 -07:00
fuzzy.rs	Preserve matching history items and their order	2023-09-28 06:55:49 -07:00
matcher.rs	Fix panic in fuzzy-finder for unicode characters (#7080)	2024-01-30 16:10:35 +01:00
paths.rs	Remove 2 suffix for lsp, language, fuzzy	2024-01-03 11:58:02 -08:00
strings.rs	Remove 2 suffix for lsp, language, fuzzy	2024-01-03 11:58:02 -08:00