So, ein Problem hab ich immerhin mit Hilfe eines Freundes gel�st und will euch das nicht vorenthalten, falls ihr es auch mal habt:
On Sun, Jul 28, 2002 at 01:33:41PM +0200, Benni Baermann wrote: > - Ich hab ein nicht ueber Debian installiertes java mit jre1.3.1_02 > laufen. Das hat vor dem Update halbwegs funktioniert. Jetzt hab ich in > den meisten Widgets mit Text einen doppelten Zeilenabstand, was viele > Anwendungen fast unbenutzbar macht. Man muss in $JAVA/lib/ font.properties.ja nach font.properties kopieren. Wer mag darf vorher ein Update vom urspr�nglichen font.properties machen. Gr��e, Benni -- Zum AUSTRAGEN schicken Sie eine Mail an [EMAIL PROTECTED] mit dem Subject "unsubscribe". Probleme? Mail an [EMAIL PROTECTED] (engl)
