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.

Reproduce el problema en Eclipse Photon comparando las fuentes configuradas “Text Font” y “Text Editor Block Selection Font” con las fuentes utilizadas por los editores para proyectos GWT y proyectos Java normales. Comienza por la integración del editor de GWT y la gestión de preferencias de fuentes de Eclipse; el trabajo estará terminado cuando los editores de GWT respeten sistemáticamente la configuración básica de Eclipse o expongan una opción de fuente documentada.

Escrito por el modelo de indexación a partir del texto del issue.