Settings for Jgrasp (3 pages)
On the menu bar:
Settings
CSD Windows Settings
Workspace
Colors
String color set to royal blue
Keyword set to dark purple
Comment set to dark green
Clickable color set to dark Red
Input color set to dark teal
Operators color set to dark green
Font
Keywords set to bold
Clickable set to bold
Operators set to bold
Messages set to bold
Adjust slider to change font size (default is 12)
Set to 14 or larger
You need to click on the small black square to make changes
Click here
String
Keyword
Operator
Clickable
Input
Comment
Keywords
Operator
Clickable
Input
Shows size
Font
Size adjust