It also looks to me like we need to deal with the mouse cursor size on
the same basis as the font size.
Having two radically different sized monitors results in two different
sized cursors when what is really required is a consistent mouse cursor
size.
The question is whether window scaling should affect the mouse cursor size.
This probably needs to be experimented with. In the end I think we will
also need to allow the user to scale the mouse cursor on a per screen
basis, but hopefully we can find a sensible set of defaults that mean
most people won't need to play with the scaling.
_______________________________________________
desktop-devel-list mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/desktop-devel-list
