On 08.10.2003 17:00 Alexander Helde wrote:
Guten Abend Leute,
mein Mozilla hat eine ziemlich große,grobe und unförmige Schrift (ich meine
das Menü, NICHT die Webseiten die er darstellt). Da Mozilla ja eine GTK
Anwendung ist, müsste man doch die Schriften für GTK einstellen.
Wo und wie kann ich das tun ?
Das Problem taucht häufiger auf, vielleicht findest Du uner google und
deren groups Sektion ein paar gute Tipps.
Ich weiss nur, dass man bei neueren Mozillen (so ab 1.3 glaube ich) die
Schriftgröße des User Interfaces bestimmten kann. Dazu geht man im
Browser auf den URL about:config und sucht nach font.uifont.pointheight
-- dort kann man dann eine andere Schriftgröße in pt wählen.
Der zweite Versuch wäre bei einem älteren Mozilla, das irgendwie in die
user.js zu bringen und zu sehen, ob es wirkt.
Der dritte Versuch ist, das Gnome Kontrollzentrum zu starten und bei den
Schriften eine andere Auflösung einzustellen. Problem war bei mir damals
nur, dass die Einstellungen bei jedem X Start wieder verloren gingen.
Man müsste mal recherchieren, in welcher Datei man wohl die
Informationen langfristig festhalten könnte.
Ich würde Dir aber auf jeden Fall empfehlen, auch einen neuen Mozilla zu
holen. Es gibt Backports für die Version 1.4, die stabil läuft, viel
mehr Features hat und einige kritische Bugs ausgemerzt hat.
Schau unter www.apt-get.org nach.
Martin
--
Haeufig gestellte Fragen und Antworten (FAQ):
http://www.de.debian.org/debian-user-german-FAQ/
Zum AUSTRAGEN schicken Sie eine Mail an [EMAIL PROTECTED]
mit dem Subject unsubscribe. Probleme? Mail an [EMAIL PROTECTED] (engl)