-
Christian Hergert authored
If we click, and that causes the insertion mark to move, we don't want to cancel our request to potentially show hover information at that position or the user would have to wiggle to get it to show up.
If we click, and that causes the insertion mark to move, we don't want to cancel our request to potentially show hover information at that position or the user would have to wiggle to get it to show up.