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>
T
Thorsten Ball committed
6d4fe8098b8fc17f7cd92fb5c9f8fb3ee0c29da7
Parent: 6c7893d
Committed by GitHub <noreply@github.com>
on 1/30/2024, 3:10:35 PM