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 the issue in Eclipse Photon by comparing the configured “Text Font” and “Text Editor Block Selection Font” with fonts used by editors for GWT projects and normal Java projects. Start from the GWT editor integration and Eclipse font preference handling; done when GWT editors consistently respect the basic Eclipse settings or expose a documented font option.

Vom Indexierungsmodell aus dem Issue-Text verfasst.