[forge-dev] font size in JBoss Tools Forge console

[Dan Allen]

Thanks Max. That explained it perfectly. I got it sized right for the talk.

Having it be dynamic would be ideal.

-Dan

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



-- 
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/forge-dev/attachments/20120621/3947f143/attachment.html