czcionki again
Tomasz Pala
gotar w polanet.pl
Nie, 27 Cze 2004, 18:16:48 CEST
On Sun, Jun 27, 2004 at 16:22:00 +0200, Maciej Świniarski wrote:
> > Mozilla używa własnej konfiguracji fontów, która odnosi się także do
> > menu. Ustawiasz to w preferencjach (najpierw spójrz na DPI).
> mozilla to mozilla, ale pisalem ze ogolnie gtk
/etc/gtk-2.0/gtkrc:
#style "gtk-default-font-style" {
# font_name = "Sans 11"
# font_name = "Verdana 11"
# font_name = "Helvetica 12"
#}
#widget_class "*" style "gtk-default-font-style"
#gtk-font-name = "Helvetica 12"
odkomentuj coś z tego i zobacz.
Nie używasz przypadkiem gnome? W jego control center jest opcja do DPI.
--
GoTaR <priv0.onet.pl->gotar>
http://vfmg.sourceforge.net/
Więcej informacji o liście dyskusyjnej pld-devel-pl