Re: panel size on different resolutions

[Jeff Waugh <jdub perkypants org>]

<quote who="Mark McLoughlin">

> So, it occurred to me that perhaps what we want is the panel size to be
> specified in points instead of pixels. This means that the panel would
> occupy the same physical size on the screen no matter what the resolution.

Same thing, different tactic: Perhaps relate it directly to the font size,
which isn't too hard for the user to get right [1]. 

- Jeff

[1] Though I have had an odd experience upgrading my monitor... GTK+ 2.x
likes to have its own dpi.

-- 
linux.conf.au 2004: Adelaide, Australia         http://lca2004.linux.org.au/
 
           What do you get when you cross a web server and a hen?
                                  Apoache.