Re: Widget/Toolbar Fontgröße einstellen was: Mozilla 1.5

[Joerg.Rieger@informatik.med.uni-giessen.de (Joerg Rieger)]

Hallo Gerhard,

On Wed, Oct 22, 2003 at 09:18:12PM +0200, Gerhard Gaussling wrote:
> Am Mittwoch, 22. Oktober 2003 20:09 schrieb Gerhard Gaussling:
> > Ich hoffe es gibt uber about:config
> > oder in der prefs einen Schalter ..
>
> Ich bin gerade selbst über eine Möglichkeit gestolpert:
> 
> Unter preferences > appearance > fonts kann man die display resolution 
> einstellen. Mit 72dpi werden die Schriften in den 
> MozillaBedienelementen hier in erträglicher Größe dargestellt.

Ich antworte mal absichtlich ausserhalb der Mailingliste.

Also ich verwende eigentlich die default Einstellungen (kann aber gut 
sein, dass ich vor geraumer Zeit mal etwas angepasst habe), siehe 
screenshot (34 KB):
http://puvogel.informatik.med.uni-giessen.de/rijo/mozilla_xft.png

Ich hatte früher mal aus einem ähnlichen Problem heraus mit folgende 
.gtkrc in meinem home anlegt:

style "gtk-default-iso-8859-15" {
       fontset =
              "-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
	       -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
               -*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-15,\
               -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-15,*-r-*"
}
class "GtkWidget" style "gtk-default-iso-8859-15"


Mittlerweile benutze ich die aber nicht mehr, aber einen Versuch ist es 
Wert.

Tschuess,
	Joerg

-- 
LuMriX - XML Suite - http://www.lumrix.net/