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

[Koen Aers]

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 at lists.jboss.org
>> https://lists.jboss.org/mailman/listinfo/forge-dev
> 
> 
> _______________________________________________
> forge-dev mailing list
> forge-dev at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/forge-dev