[Bluej-discuss] Code pad font

[Michael Kölling]

I agree. Setting the codepad to the same font as the terminal would  
be better. Currently, that's not supported. I have filed this as an  
enhancement request in trac ( http://bugs.bluej.org/trac/bluej/ticket/ 
83 ).

Michael


On 8 Sep 2007, at 17:41, Olan, Michael wrote:

> It doesn't appear to be possible, but is there a way to change the  
> font
> of the code pad independent of the rest of the interface? I changed  
> this
> so that it would be easier to see projected in the classroom, but this
> also changes the font on buttons, etc. This doesn't look so nice. It
> seems more logical to have the fonts in the code pad and terminal the
> same.
>
> --
> Michael Olan
> Richard Stockton College
>
> _______________________________________________
> mailing list bluej-discuss at bluej.org
> To unsubscribe or change your preferences, go to
> http://lists.bluej.org/mailman/listinfo/bluej-discuss