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.