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 mailing list
forge-dev mailing list