chi ha cambiato i miei fonts? se lo becco ...
Ho una sid che pero` non aggiorno da un po'
(e soprattutto non e` stata aggiornata in occasione del problema di
cui vi parlo).
Lascio la mia macchia accesa con una sessione X aperta (windo manager:
wmaker) e
il giorno dopo mi trovo che gkrellm e mozilla (i menu) hanno dei font
visibilmente maggiorati.
Non so se altre applicazioni fanno lo stesso, ma sicuramente non xterm
e, per esempio,
non gnucash)
Chi e` stato?
Come faccio a scoprirlo?
Come torno indietro?
a.
Reply to: