hmm - I assumed this would be controlled by the console font but that seems to have no
Setting the "Text Font" does have effect though.
If you change the font while console is open it does not take effect though.
Fix that by simply closing the view and open it again.
i've opened https://issues.jboss.org/browse/JBIDE-12223
to fix the proper font setup.
Is there a way to increase the font size in the JBoss Tools Forge
Principal Software Engineer, Red Hat | Author of Seam in Action
Registered Linux User #231597
forge-dev mailing list