Re: font di gtk

[Leonardo Canducci <leonardocanducci@yahoo.it>]

On Fri, Jun 04, 2004 at 08:11:46PM +0200, Pino Pinto wrote:
> 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
> 
> Ho una Sarge con KDE; locales (se può servire a qualcosa in questo
> caso) è settato su it_IT@euro.
-- 
Leonardo Canducci 
GPG Key ID: 429683DA