Small issue: the mouse out area from a button is smaller than the mouse in area

Replacing “mouseenter” by “mouseover” here:

Resolves the issue, but I’m not sure if it has unwanted consequences or not.
I didn’t encounter any problem at first glimpse.

I suppose I’ll let the devs see if it’s a proper fix ot nor.