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

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