Re: desktop font + PATCH for 82565

[Dave Bordoley <bordoley msu edu>]

Here's an idea:

Maybe the default zoom level should always use the default font.
Comments??

dave

On Tue, 2002-05-28 at 22:02, David Watson wrote:

> If the fonts don't get smaller at the lower zoom levels then at some point
> (e.g. at 25%) the fonts will be huge in comparison to the icons.  This
> will be essentially the same problem you see now, only it will occur at a
> different zoom level.
> 
> As far as I can see we have 3 options:
> 
> a) Tell the user to use a different theme or font.
> 
> b) Allow the theme to influence the rate at which fonts get bigger or
> smaller.
> 
> c) Create a preference which allows the user to specify the zoom level
> at which the default font size will be used.
> 
> a) is lame (but easy :), b) won't entirely fix the problem (someone
> somewhere won't like the default) and c) basically replaces the
> functionality that we removed with an accessibility friendly variant.
>