8 Nov
2009
8 Nov
'09
3:01 p.m.
On Sun, 2009-11-08 at 11:58 -0600, Gabriel M. Beddingfield wrote:
On Sun, 8 Nov 2009, David Robillard wrote:
Decent UIs are sized based on text size, which is variable. I don't
think it's really possible to do this.
A better solution for a host that wants nice alignment like this would
be to simply round up the size to the nearest multiple of whatever.
-dr
This is a good motivation, but pixel widths are
the devil and should be
avoided whenever possible.
I agree. Can you suggest another metric?