Improvement: Reduce the area covered by the mouse cursor in on_hover_at_pointer()
.
#12820
Loading
on_hover_at_pointer()
.
#12820