[hover] Fix get_id_at_point in the presence of Unicode chars#597
Merged
ejgallego merged 1 commit intomainfrom hover_unicodeNov 7, 2023
+16-1
get_id_at_point in the presence of Unicode chars#597