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

[Max Rydahl Andersen]

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

> Is there a way to increase the font size in the JBoss Tools Forge console?
> 
> -Dan
> 
> -- 
> Dan Allen
> Principal Software Engineer, Red Hat | Author of Seam in Action
> Registered Linux User #231597
> 
> http://google.com/profiles/dan.j.allen
> http://mojavelinux.com
> http://mojavelinux.com/seaminaction
> 
> _______________________________________________
> forge-dev mailing list
> forge-dev at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/forge-dev