fix a corner case where pointer interaction generates two points#1780

Merged

Fil merged 1 commit into

mainfrom

fil/facet-pointer-equality

Aug 3, 2023

Commits on Aug 2, 2023

Because we're checking for strict inequality of the distance to the best facet, it could happen that we displayed 2 tips if the pointer was exactly at the same distance from two target points in di…
Fil
committed