[Bluej-discuss] Codepad Fonts and FAQs
davmac at bluej.org
Wed Aug 16 01:16:30 BST 2006
The codepad font is the standard BlueJ font as set in the bluej.defs file via the properties "bluej.font" and "bluej.fontsize". bluej.font specifies the font name, and you can add "-bold" to the end to use an emboldened version.
You should also set the "bluej.useTheme" setting to "true", and you may need to also set "bluej.lookAndFeel" to "crossplatform" (I suspect that this latter isn't necessary).
It's possible to search the mailing list archives using the search box at the bottom of this page:
(Note, not the search box near the top of the page!) Make sure to select the "mailing lists" as the thing to search. The search is powered by Google.
On Tue, 15 Aug 2006 12:18:53 +0200
gumm at Mathematik.Uni-Marburg.de wrote:
> i am looking for a way to change the size and weight of the codepad fonts
> in order to use the codepad in class presentations.
> I realize that this question might have come up previously. Unfortunately
> the archives in http://lists.bluej.org/pipermail/bluej-discuss/ consist of
> lots (about 68) of tiny zipped files, so it is impossible to download and
> search them.
> H. Peter Gumm
> mailing list bluej-discuss at bluej.org
> To unsubscribe or change your preferences, go to
More information about the bluej-discuss