Comment puis-je changer la police de caractères de mise en page (XML) de l'éditeur dans Eclipse?

Question

Je sais comment changer la police d'un "éditeur java" dans Eclipse dans Windows-> Préférences-> Apparence-> les Couleurs et les Polices , mais je ne pouvais pas trouver l'option pour changer la police de "présentation de l'éditeur" pour les fichiers comme myLayout.xml ou strings.xml.

Où est-il?

Merci,

Answer 1

Windows-> Préférences-> Apparence-> les Couleurs et les Polices de caractères->Base->Police du Texte. C'est la commune de la police du texte de paramètre est appliqué à xml éditeurs de fichier par défaut.

EDIT: j'ai aussi trouvé ce message

Answer 2

Pour mon Eclipse Luna installation, l'éditeur XML taille de la police est modifiée en vertu de:

Windows-> Préférences-> Apparence-> les Couleurs et les Polices de caractères-> Structurée Éditeurs de Texte-> Texte Structuré Éditeur de Texte Police

Answer 3

J'ai eu à développer Général à obtenir de l'Apparence... j'ai pensé à elle en 3,2 secondes, mais juste au cas où quelqu'un veut sauver que de 3,2 secondes:

Windows-> Général -> Préférences-> Apparence-> les Couleurs et les Polices de caractères-> Base -> TextFont -> Modifier...

C'est dans Eclipse IDE pour Développeurs Android v23.0.2. Je suis sûr que cela change toutes les tailles de police pour tout dans l'éditeur.. ? Mais, je suppose que si vous voulez XML police d'être plus grand, vous voulez tous les fichiers que la taille de la police.