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