Using JGraphEd
The following sections describe how to use the various features of JGraphEd:
Commands - ToolBar Buttons and Menu Items
Modes of Operation
Preferences