-
Notifications
You must be signed in to change notification settings - Fork 49
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Use Eclipse's font settings for GWT text editors #389
Comments
I am also experiencing this issue on Eclipse 2018-12. The only workaround I can find is to use File > Open With > Java Editor each time you open a file. |
I took a brief look at the code. There is |
I ran into this same issue with pretty much all of the eclipses with the GWT v3 plugin that has the GWT Java Editor. It doesn't follow the text-editor font inheritance properly. Unless you absolutely need to use the GWT Java Editor for every single .java file type because it has syntax support for JNSI code, you can change the order in which the text editors are chosen for the .java file type.
You can still edit java files with JNSI comment code in it with the GWT Java Editor:
The regular java editor can easily change the default font size or resize the font size on the fly. I adjust the font size using the |
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.
The text was updated successfully, but these errors were encountered: