gtkrc-2.0 font

[Luca Marrocco]

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?