Improvement: Reduce the area covered by the mouse cursor in on_hover_at_pointer().
#5
| Job | Run time |
|---|---|
| 3m 10s | |
| 3m 10s |
on_hover_at_pointer().
#5
| Job | Run time |
|---|---|
| 3m 10s | |
| 3m 10s |