[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gnumed-devel] Horst think again - gui comments
From: |
Karsten Hilbert |
Subject: |
Re: [Gnumed-devel] Horst think again - gui comments |
Date: |
Fri, 15 Aug 2003 10:19:58 +0200 |
User-agent: |
Mutt/1.3.22.1i |
>> 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