Advertisement
ivan_yosifov

Change font in Greenfoot

Jul 11th, 2014
47
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.68 KB | None | 0 0
  1. 1) Go to Greenfoot\lib\bluej.defs
  2. 2) Find lines
  3. # The editor font. This is the name of a font face with an optional
  4. # "-bold" at the end. Most used are monospaced fonts, such as Courier.
  5. # Good large fonts for screen projections are SansSerif-bold, 14pt, or
  6. # Courier-bold, 18pt. Only the font face is specified here, the font
  7. # size is specified in the BlueJ preference dialogue. Some examples:
  8.  
  9. bluej.editor.font=Monospaced
  10. bluej.editor.MacOS.font=Monaco
  11. # bluej.editor.font=Monospaced-bold
  12. # bluej.editor.font=SansSerif
  13. # bluej.editor.font=SansSerif-bold
  14. # bluej.editor.font=Arial-bold
  15.  
  16. 3) Change "bluej.editor.font=Monospaced" with "bluej.editor.font=Consolas"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement