JMC-6180: Changing the Java source editor font changes the size of some values in the JMC tables
ebaron at redhat.com
Mon Nov 5 22:36:24 UTC 2018
I'm working on a solution to this bug that allows the user to scale the
font size used by JMC labels using the same shortcuts as Eclipse's text
editor zoom-in/out functionality (which also simply scale the font size).
Just to be clear, this functionality should scale font sizes for all JMC
editors and views, and not just those using the Eclipse editor font?
More information about the jmc-dev