Guide de l'utilisateur du système de bureau Java Version 2 : démarrage rapide

Modification des polices

Choisissez Menu principal -> Préférences -> Affichage -> Police. La boîte de dialogue Police permet de modifier le style et la taille des polices à votre convenance.