Comment 4 for bug 1700085

I found the opposite problem yesterday, which might be the same bug as this. When switching from a high scaling factor of 2 or 3 back to 1, the mouse cursor stayed big for longer than expected :)