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