Use Eclipse's font settings for GWT text editors

Hi,

I changed Eclipse's (Eclipse Photon) "Text Font" and "Text Editor Block Selection Font" settings. The new font shows up in the text editors for normal Java projects, but not when I open files associated to GWT projects, those still use the default one. It would be nice if GWT editors either respected the Basic Eclipse setting or there was an option for changing the font in those as well.

Reproduire le problème dans Eclipse Photon en comparant les polices configurées « Text Font » et « Text Editor Block Selection Font » avec les polices utilisées par les éditeurs pour les projets GWT et les projets Java classiques. Commencer par l’intégration de l’éditeur GWT et la gestion des préférences de police d’Eclipse ; le travail est terminé lorsque les éditeurs GWT respectent systématiquement les paramètres de base d’Eclipse ou exposent une option de police documentée.

Rédigé par le modèle d'indexation à partir du texte de l'issue.