Editor Toolbar


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.