Skip to content

[hover] Fix get_id_at_point in the presence of Unicode chars#597

Merged
ejgallego merged 1 commit intomainfrom hover_unicodeNov 7, 2023

Commits

Commits on Nov 7, 2023