Re: [Gnumed-devel] Horst think again - gui comments

[Karsten Hilbert]

>> THIS HAS NOTHING TO DO WITH HARD CODING OF FONT address@hidden
It may or may not.

> I am afraid it has. If you set your preferences (window manager theme)
> I'd expect that your list line spacing will get adjusted as well.
This is subject to experimentation. Richard is saying it
doesn't get adjusted.

> If however you hard code your font sizes, this line spacing might not
> get recalculated
This is certainly true: if I say "10 points at all times" it
will be 10 points at all times with lots of free space
inbetween sometimes or overlapping characters at others. But I
doubt Richard says "10 points at all times".

I do believe we would be better off saying "always n times the
standard size" rather than "for this screen size use that
size, and for that screen size use that other size" but this
is a design decision (absolute relativity vs. stepwise
relativity).

Karsten
-- 
GPG key ID E4071346 @ wwwkeys.pgp.net
E167 67FD A291 2BEA 73BD  4537 78B9 A9F9 E407 1346