JDeveloper Studio edition Version 12.2.1.4.0
I''m running on a much larger set of monitors now and the font size is tiny. I've changed the font in the tools editor menu and the code window is better. I've changed the default font in the users / appdata/ roaming / JDeveloper / system… / o.jdeveloper / ide.properties file to:
Ide.FontSize=20
There are no other font size specifications in that file that might override it.
The applications window seems to support the new font size. But none of the other windows do. The structure window remains tiny, the messages - log is the same and the sidebar in the editor is tiny as well.