Changing Settings

You can use the Options menu to change the display settings.

Setting the Node Size

Choosing Node Attributes

Changing the Overall Layout

Assigning Colors

Displaying the Navigation List