On Sat, Dec 06, 2003 at 11:27:03PM +0100, Luca Marrocco wrote: > Ciao, > alcuni software che utilizzano gtk, hanno font troppo grandi. In > giro per la rete ho trovato che occorre modificare ~/.gtkrc > inserendo il font desiderato. Non sembra funzionare. Inoltre ho > provato a modificare alcuni file presenti in /etc/gtk, con risulato > fallimentare analogo. In debian esiste forse qualche utility per > editare i font di gtk, senza passare attraverso l'editing manuale > dei file?
non so. io comunque ho: # grep font .gtkrc-2.0 gtk-font-name = "Lucida 8" # grep font .gtkrc font = "-*-helvetica-medium-r-normal--10-*-*-*-*-*-*-*" quindi come vedi per gtk2 devi usare il file .gtkrc-2.0 ciao -- mattia :wq!
