Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 1) Go to Greenfoot\lib\bluej.defs
- 2) Find lines
- # The editor font. This is the name of a font face with an optional
- # "-bold" at the end. Most used are monospaced fonts, such as Courier.
- # Good large fonts for screen projections are SansSerif-bold, 14pt, or
- # Courier-bold, 18pt. Only the font face is specified here, the font
- # size is specified in the BlueJ preference dialogue. Some examples:
- bluej.editor.font=Monospaced
- bluej.editor.MacOS.font=Monaco
- # bluej.editor.font=Monospaced-bold
- # bluej.editor.font=SansSerif
- # bluej.editor.font=SansSerif-bold
- # bluej.editor.font=Arial-bold
- 3) Change "bluej.editor.font=Monospaced" with "bluej.editor.font=Consolas"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement