[forge-dev] font size in JBoss Tools Forge console
dan.j.allen at gmail.com
Thu Jun 21 04:05:27 EDT 2012
Thanks Max. That explained it perfectly. I got it sized right for the talk.
Having it be dynamic would be ideal.
On Wed, Jun 20, 2012 at 5:17 AM, Max Rydahl Andersen <
max.andersen at redhat.com> wrote:
> 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
> 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.
> > Is there a way to increase the font size in the JBoss Tools Forge
> > -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
Principal Software Engineer, Red Hat | Author of Seam in Action
Registered Linux User #231597
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the forge-dev