PDA

Archiv verlassen und diese Seite im Standarddesign anzeigen : Mozilla: Schriftart der GUI zu gross



Zero Tolerance
07.04.03, 00:38
Hoi!

Hab gestern mal den Mozilla auf meinem frischen Miniwoody installiert, da dort kein wirklich vernünftiger Browser mit drauf ist. Jetzt hab ich nur das Prob, das die Schrift in der GUI unheimlich gross ist. Das nervt total wenn die Bookmark-Liste 3 Bildschirmseiten gross ist.
Irgendjemand ne Ahnung, ob man die Schriftgrösse der GUI irgendwo verändern kann? Ich hab ums Verrecken nix gefunden.

Danke
Zero

[WCM]Manx
07.04.03, 07:49
Hi!

Mozilla ist eine gtk-basierende Anwendung, das heißt Du musst das gtk(1.2) Thema ändern.
Kommt mit Miniwoody Gnome 1.4 mit, geht's über das Controllcenter von Gnome.
Verwendest Du KDE oder eben Gnome2 sollte es über die gtkrc funktionieren.

Beispiel:
Gibt es im Deinem Home-Verzeichnis die Datei nicht => anlegen


manx@server:~$ ls -al .gtkrc
manx@server:~$ less .gtkrc
module_path "/usr/local/lib/gtk/themes/engines/"
include "/usr/local/share/themes/Mist/gtk/gtkrc"

style "user-font"
{
font="-microsoft-verdana-medium-r-normal-*-12-*-*-*-p-*-iso8859-15"
}
widget_class "*" style "user-font"


PS: Bei mir ist das gtk-Theme Mist von art.gnome.org installiert.

Grüße

Manx

Zero Tolerance
07.04.03, 15:17
Bedankt. Werde ich gleich mal testen.
Die .gtkrc habe ich gestern glaube ich schon mal gesehen. Müsste also da sein.