mercoledì 26 maggio mangus ha scritto:
> > Qualcuno sa come si fa per modificare il font di default
> > delle GTK-1.2 ?
> >
> io aggiungo questo a .gtkrc:
> style "user-font"
> {
> font="-*-times-medium-r-normal-*-12-*-*-*-*-*-iso8859-15"
> }
> widget_class "*" style "user-font"
Ci avevo già provato, però sembra non considerarlo.
Tra l'altro ho notato che nella mia home c'e`
un file .gtkrc-1.2-gnome che contiene:
# Autowritten by gnome-settings-daemon. Do not edit
include "/home/enzo/.gtkrc.mine"
e anche se al posto di .gtkrc creo .gtkrc.mine non cambia nulla.
Acc.
|