[Bluej-discuss] Code pad font

[Olan, Michael]

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