Hi-DPI support for mouse cursor

Ideas & suggestions
1

I don’t know if this is MacOS-specific but on Mac, when increasing GUI scaling, the mouse cursor becomes more and more pixelated.