Settings for Jgrasp



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

[pic]

[pic]

-----------------------

String

Clickable

Keyword

Comment

Clickable

Keywords

Font

Size adjust

Shows size

Input

Input

Operator

Operator

Click here

................
................

In order to avoid copyright disputes, this page is only a partial summary.

Google Online Preview   Download