[forge-dev] font size in JBoss Tools Forge console
koen.aers at gmail.com
Wed Jun 20 09:46:04 EDT 2012
Max beat me to it… I wrote my response this morning in the airport but it seems like it didn't get sent before boarding… ;-)
Op 20-jun.-2012, om 11:17 heeft Max Rydahl Andersen het volgende geschreven:
> 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
> forge-dev mailing list
> forge-dev at lists.jboss.org
More information about the forge-dev