[forge-dev] font size in JBoss Tools Forge console
Max Rydahl Andersen
max.andersen at redhat.com
Wed Jun 20 05:17:47 EDT 2012
hmm - I assumed this would be controlled by the console font but that seems to have no effect.
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 console?
> Dan Allen
> Principal Software Engineer, Red Hat | Author of Seam in Action
> Registered Linux User #231597
> forge-dev mailing list
> forge-dev at lists.jboss.org
More information about the forge-dev