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

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