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. |
Undo | Undoes any action taken in the editor window. |
Redo | Redoes any action that was previously undone by the undo button. |
|
|
---|---|
Auto snap | Activates auto snap. This will automatically move any vertex that is drawn to the closest intersection of grid lines. |
Snap selection | Moves all selected vertices to the closest intersection of grid lines. |
Snap all | Moves all vertices to the closest intersection of grid lines. |
Guides | Lets you select a different guide. The icon will show the current guide. |
|
|
Clear | Clears the drawing area of the editor. |
|
|
Spring Embedder | While this button is pressed, the editor will automatically reposition the vertices to create a more balanced view of the graph. |
|
|
Snapshot | Takes a snapshot of the current graph in the editor. This snapshot is then added to the graph list next to the editor area. From this list you can drag the graph e.g. to your own graph list or to the conjecturing window. |