Guide de l'utilisateur de Java Desktop System Version 3

Sélection d'une police

La boîte de dialogue de sélection de la police permet de paramétrer la police d'affichage du texte d'une application. Certaines applications, telles que le Terminal et l'Éditeur de texte, sont équipées d'une fonctionnalité intégrée de sélection de la police. Dans ces applications, la boîte de dialogue de sélection de la police permet de choisir une police.

Le tableau suivant répertorie les préférences de police que vous pouvez modifier.

Tableau B–2 Boîte de dialogue Sélection de la police

Élément de la boîte de dialogue 

Description  

Famille

Dans la zone de liste, sélectionnez la famille de police de votre choix. 

Style

Dans la zone de liste, sélectionnez le style de police. 

Taille

Dans la zone de liste, sélectionnez la taille de la police exprimée en points. Vous pouvez également saisir la taille de la police dans la zone de texte située en haut de la zone de liste. 

Aperçu

Affiche un exemple de texte utilisant les paramètres de police spécifiés.