Guida rapida a Java Desktop System versione 2

Cambiare i tipi di carattere

Scegliere Menu principale -> Preferenze -> Display -> Tipo di carattere. Usare la finestra di dialogo Tipo di carattere per impostare lo stile e la dimensione del carattere richiesti.