Re: [Bug: 21.4.17] Proportional font too large
* Stephen J. Turnbull (2005-03-22) writes:
>>>>> "Ralf" == Ralf Angeli
<angeli(a)iwi.uni-sb.de> writes:
Ralf> Do you want a patch with that? (c;
Sure, but I wouldn't bet on it fixing everything. :-(
Well, if it at least fixes _something_ and does not break anything
else, it should be okay, shouldn't it?
--
Ralf