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

[Lincoln Baxter, III]

pwnd

On Wed, Jun 20, 2012 at 9:46 AM, Koen Aers <koen.aers at gmail.com> wrote:

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



-- 
Lincoln Baxter, III
http://ocpsoft.org
"Simpler is better."
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/forge-dev/attachments/20120620/d31752c4/attachment.html