I'm afraid there is none just yet. I remember this question coming up earlier but
I'm not certain whether or not it resulted in a JIRA. I'll take a look and create
one if needed.
Cheers,
Koen
Op 20-jun.-2012, om 08:40 heeft Dan Allen het volgende geschreven:
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