Guida rapida al Java Desktop System 2003

Cambiare i tipi di carattere

Per cambiare i tipi di carattere utilizzati, scegliere Menu principale -> Preferenze -> Display -> Carattere. Usare la finestra di dialogo Carattere per impostare lo stile e la dimensione del carattere richiesti.