Node Attributes

On the right there is a screenshot of the node setup panel. Clicking on the picture shows the window in original size.

Edge Attributes

The attributes that control the drawing of edges are: shape, bends, direction, width, color, style, label type, user label, label position, label color and slider positions.

On the right there is a screenshot of the node setup panel. Clicking on the picture shows the window in original size.

Global Parameters

• flush: A parameter of type bool (default value: true) that controls whether changes of node and edge attributes are shown directly or not. If flush is false the changes are invisible until the next call of redraw().
• animation steps: A parameter of type int (default value: 16) that defines the number of intermediate drawings used in an animation of layout changes and zoom operation. Setting the parameter to zero disables animation.
• zoom objects: A parameter of type bool (default value: true). If this flag is true, the size of nodes and edges is adjusted automatically during zoom operations.
• show status: A parameter of type bool (default value: true). If this flag is true, some selected parameters, e.g. the number of nodes and edges of the graph and the current position of the mouse pointer, is shown in a status line at the bottom of the display region.