Re: Probleme mit Woody-Upgrade
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
Reply to: