Polices

La police (taille et groupe) sélectionnée dans le Gestionnaire de configuration est utilisée pour les titres, les barres de menus, les libellés de fenêtres et le texte. Elle sera prise en compte lors du prochain lancement des applications (la modification n'est pas appliquée dans les fenêtres déjà ouvertes).

Sélection d'une taille de police

1. Cliquez sur l'icône Police du Gestionnaire de configuration.

2. Sélectionnez une taille de police dans la zone correspondante.

3. Cliquez sur OK pour permettre aux applications que vous allez lancer d'utiliser la police sélectionnée ou cliquez sur Annuler pour annuler l'opération.

Sélection d'un groupe de polices

1. Cliquez sur l'icône Police du Gestionnaire de configuration.

2. Sélectionnez un groupe de polices dans la zone correspondante.

3. Dans la fenêtre Prévisualiser, vous pouvez voir la nouvelle police que vous avez sélectionnée.

4. Cliquez sur OK pour permettre aux applications que vous allez lancer d'utiliser la police sélectionnée ou cliquez sur Annuler pour annuler l'opération.

Ajout d'un groupe de polices

1. Cliquez sur l'icône Police du Gestionnaire de configuration.

2. Dans la boîte de dialogue Police, cliquez sur Ajouter.

3. Choisissez un groupe de polices dans la liste déroulante Système et dans la liste déroulante Utilisateur.

4. Cliquez sur OK pour ouvrir la boîte de dialogue Nom de groupe de polices.

5. Entrez un nom dans la zone Nouveau nom de groupes de polices.

   Vous pouvez entrer n'importe quel nom sans espace.

6. Cliquez sur OK pour ajouter un groupe de polices à la liste déroulante de la boîte de dialogue Police.

Suppression d'un groupe de polices

1. Cliquez sur l'icône Police du Gestionnaire de configuration.

2. Dans la liste déroulante Groupe de polices de la boîte de dialogue Police, sélectionnez un groupe de polices.

3. Cliquez sur le bouton Supprimer.

   La boîte de dialogue Supprimer le groupe de polices apparaît.

4. Cliquez sur OK pour supprimer le groupe de polices de la liste déroulante.

Affichage des attributs de police

1. Cliquez sur l'icône Police du Gestionnaire de configuration.

2. Cliquez sur le bouton Attributs.

   La boîte de dialogue Attributs de police apparaît. Elle fournit des informations sur le nom et l'emplacement du groupe et de la taille de police sélectionnés. Ces informations varient en fonction de la famille d'alias (Système, Utilisateur, Utilisateur gras) et du jeu de caractères que vous choisissez dans les boîtes mixtes situées dans la partie supérieure de la boîte de dialogue.

3. Cliquez sur Fermer pour fermer la boîte de dialogue Attributs de police.