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… ;-)
Cheers,
Koen
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.
>
> /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@lists.jboss.org
>> https://lists.jboss.org/mailman/listinfo/forge-dev
>
>
> _______________________________________________
> forge-dev mailing list
> forge-dev@lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/forge-dev
_______________________________________________
forge-dev mailing list
forge-dev@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/forge-dev