Re: font di gtk
* Leonardo Canducci <leonardocanducci@yahoo.it> [040604, 20:26]:
> > Mi piacerebbe cambiare il carattere dei menu e pulsanti delle
> > applicazioni gtk. Come fare?
> > Ho visto che i file contenuti in /etc/gtk hanno proprio le descrizioni
> > dei fontset, ma non riesco a capire qual è quello attualmente in uso. Ho
> > notato che c'è gtkrc.iso-8859-15 ma manca sia gtkrc.iso-8859-1 che
> > gtkrc.it; i fontset contenuti in gtkrc.iso-8859-15 (helvetica e arial)
> > non corrispondono a quello effettivamente usato dalle applicazioni GTK
> > (che invece somiglia molto, se non è proprio lui, a quello della console
> > pura).
> gnome-font-properties
Purtroppo non funziona: non importa quale font scelga, le applicazioni
gtk hanno sempre lo stesso orribile font. Ho motivo di credere che il
problema sia più a monte: infatti il problema compare solo quando
imposto locales su it_IT@euro; utilizzando it_IT tutto funziona
normalmente. Suggerimenti?
--
___ _ | ICQ: 99644516
| _ (_)_ _ ___ |
| _/ | ' \/ _ \ | PGP key fingerprint:
|_| |_|_||_\___/ | 0B6D CA29 72A5 7F36 0343 72E2 ECDA B516 8747 C639
Reply to: