Undo | Undoes any action taken in the editor window. |
Redo |
Redoes any action that was previously undone by the
undo button.
|
|
Clear | Clears the drawing area of the editor. |
|
Selection Tool | Selects the selection tool. When this tool is selected, you can select vertices or edges in the graph.
You can then drag them to another location or delete them. |
Creation Tool | Selects the creation tool. When this button is selected, you can create new vertices by clicking on
the position where you want them. If you want to create a new edge just click on the first endpoint
and hold the mouse down while moving to the second endpoint. If you don't stop on an existing
vertex a new vertex will be created on the location where you released the mouse. If you click on an
edge it will be split and a new vertex will be added. |