Cursor scaling

[Stephen Adler <adler stephenadler com>]

Hi gnome developers,

I have a request. I just got a 4K 32" monitor and when running gnome, 
the cursor (mouse pointer) is too small. When I go into tweak-tool, I 
can scale the fonts, but I had to dig through the dconf-editor and 
change the /org/gnome/desktop/interface/cursor-size variable to match 
the font scaling. It would be nice if you could integrate the two scalings.


thanks.