Problema  

Ad esempio: il problema con ID 4805328 interessa alcune versioni locali tra cui quelle cinesi. 

Attualmente, non è possibile impostare il carattere predefinito per il desktop GNOME a livello delle singole versioni locali. Per questa ragione, in particolare se si utilizzano alternativamente più versioni locali, può accadere che il carattere predefinito del desktop risulti troppo piccolo o non compaia affatto. 

Soluzione  

Per cambiare il carattere predefinito del desktop, usare la procedura seguente:  

• Aprire un terminale ed eseguire il comando seguente:

  gnome-font-properties

• Usare la finestra di dialogo Preferenze per il tipo di carattere per modificare la dimensione del carattere su un valore appropriato. Ad esempio, nelle versioni locali cinesi è possibile modificare sia il Tipo di carattere dell'applicazione che il Tipo di carattere del desktop in Sans 13.