next up previous
Next: About this document ... Up: No Title Previous: Running the algorithm on

List of commands

Panel options

CREATE VERTEX
Left mouse click creates a new vertex (number is one greater than most recently created vertex, first vertex has number 0).
CREATE EDGE
Left mouse click on vertex i followed by left click on vertex j creates an edge from i to j. If i=j, two more clicks define knot points of loop.
MOVE
Point to vertex, edge label, or knot point, push middle mouse button and hold until mouse points to new position.
DELETE
Left mouse click on vertex or edge deletes the vertex or edge.
EDIT LABEL
Move mouse inside rectangle representing a label to change the label; any typed text becomes the new label ([Delete] acts as backspace). Left mouse click on vertex exposes the label or hides it if it's already exposed.

Menu options

SAVE
(or type s or S) Current graph is saved in a file (user is prompted for the file name and asked to confirm the action if the file already exists).
READ IN
(or type r or R) A graph is read from a file (user is prompted for file name). Current graph is erased.
RE-DRAW
The window is redrawn (in case things get messed up).
CLEAR
The current graph is erased.
RUN FILE
(or type p or P) The animation program is executed. Whenever a window with the prompt RESUME ? appears at the bottom right of the screen, control returns to the user interface: the user can edit the graph (e.g. move things around, modify labels, etc.). The program continues execution if there is a left mouse click in the RESUME ? window, or a QUIT GDR command issued.
QUIT GDR
(or type q or Q) Exit from the GDR (stands from Graph Drawing) program, or resume execution of the animation program if it is running.

Note that [Control]-C acts as a general panic button: any of the above commands is aborted in response to it (this does not quite work as it should for the RUN FILE command).  


next up previous
Next: About this document ... Up: No Title Previous: Running the algorithm on
Matthias F M Stallmann
1998-10-19