Modification des polices de l'interface utilisateur

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

  1. Cliquez sur Fenêtre > Préférences, développez Plan de travail et cliquez sur Couleurs et polices.
  2. 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.
  3. 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.

  4. 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.
  5. 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).

Retour d'informations