Vous pouvez modifier la police de caractères et le corps des informations
affichées dans les boîtes de dialogue de Functional Tester et celles de l'environnement de développement intégré Eclipse. Pour les boîtes de dialogue de l'environnement IDE et l'éditeur
Java, cette opération s'effectue par le biais des préférences du plan de travail.
A propos de cette tâche
Pour modifier la police de caractères dans les préférences du plan de travail :
Procédure
- Cliquez sur , développez Plan de travail et cliquez sur Couleurs et polices.
- Dans la liste Couleurs et polices,
sélectionnez le type de texte à modifier. Dans la page des préférences
Couleurs et Polices,
vous pouvez modifier successivement la police de la bannière, de l'en-tête et du texte.
- Pour utiliser les polices système, cliquez sur Utiliser la police du système.
Cette option est requise pour les langues DBCS.
Pour utiliser une police
de caractères différente, cliquez sur Modifier. Dans la boîte de dialogue Police, sélectionnez la police de votre choix et cliquez sur OK.
- Pour modifier la police de caractères dans l'éditeur Java, effectuez
les opérations suivantes dans la liste Couleurs et polices :
- Développez Java.
- Cliquez sur Police de test de l'éditeur (Police de texte par défaut).
- Cliquez sur Restaurer les valeurs par défaut.
L'éditeur Java sélectionne la police définie dans la page des préférences
Police du plan de travail car il utilise cette préférence par
défaut.
- Cliquez sur OK. La nouvelle police de caractères ne prend pas effet immédiatement dans la
boîte de dialogue dans laquelle vous l'avez définie (Outil de configuration d'application
ou Activation des environnements).