Différentes tailles de police dans le même éditeur dans Eclipse

Question

Existe-t-il un moyen d'afficher différentes polices/tailles de police selon qu'il s'agit d'un nom de fonction Java, d'un mot-clé, etc.

Answer 1

Si personne d'autre ne dit quoi que ce soit, alors je dirai non, il n'y a aucun moyen d'avoir différentes polices et tailles dans un seul éditeur de texte. L'éditeur a dans le cadre de sa configuration interne un moyen de déterminer quel texte est un mot réservé, un commentaire, etc. et le cadre de l'éditeur est capable de colorer le texte sur la base de cette analyse syntaxique. Cependant, il n'y a pas de support pour changer la police ou la taille de la police du texte.