Font scaling continued

["S. Brett Sutton" <bsutton noojee com au>]

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.