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