On Wed, Jun 20, 2012 at 9:46 AM, Koen Aers <koen.aers(a)gmail.com> wrote:
Max beat me to it… I wrote my response this morning in the airport
seems like it didn't get sent before boarding… ;-)
Op 20-jun.-2012, om 11:17 heeft Max Rydahl Andersen het volgende
> 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
> 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
>> 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