font di gtk
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).
Ho una Sarge con KDE; locales (se può servire a qualcosa in questo
caso) è settato su it_IT@euro.
--
___ _ | ICQ: 99644516
| _ (_)_ _ ___ |
| _/ | ' \/ _ \ | PGP key fingerprint:
|_| |_|_||_\___/ | 0B6D CA29 72A5 7F36 0343 72E2 ECDA B516 8747 C639
Reply to: