sdk
16-04-2008, 13:04
Ciao a tutti,
sto personalizzando un po' il desktop e desidero modificare il carattere per le applicazioni (e quindi anche il pannello di gnome con Applicazioni, Risorse, Sistema) e del titolo delle finestre.
So come si cambiano, il problema è un altro :(
Ho provato a scaricare alcuni nuovi font da dafont.com, ma pur impostandoli il carattere visualizzato è sans (però il nome del carattere impostato resta quello personalizzato).
Ho provato sia da Sistema -> Preferenze -> Aspetto -> Tipi di carattere sia "manualmente" dall'editor della configurazione...
Ho provato a metterli sia nella cartella usr/share/fonts sia nella cartella /home/utente/.fonts, e anche ad aggiornare la cache dei caratteri da terminale.
Niente da fare...è un problema dei caratteri? Vi è mai successa una cosa del genere?
Ah, se imposto uno di questi caratteri scaricati come Carattere per applicazioni sul pannello di gnome resta sans, ma all'interno delle applicazioni si vede correttamente quello impostato :confused:
sto personalizzando un po' il desktop e desidero modificare il carattere per le applicazioni (e quindi anche il pannello di gnome con Applicazioni, Risorse, Sistema) e del titolo delle finestre.
So come si cambiano, il problema è un altro :(
Ho provato a scaricare alcuni nuovi font da dafont.com, ma pur impostandoli il carattere visualizzato è sans (però il nome del carattere impostato resta quello personalizzato).
Ho provato sia da Sistema -> Preferenze -> Aspetto -> Tipi di carattere sia "manualmente" dall'editor della configurazione...
Ho provato a metterli sia nella cartella usr/share/fonts sia nella cartella /home/utente/.fonts, e anche ad aggiornare la cache dei caratteri da terminale.
Niente da fare...è un problema dei caratteri? Vi è mai successa una cosa del genere?
Ah, se imposto uno di questi caratteri scaricati come Carattere per applicazioni sul pannello di gnome resta sans, ma all'interno delle applicazioni si vede correttamente quello impostato :confused: