Re: [forge-dev] font size in JBoss Tools Forge console

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. /max