If set, zooming will be animated, i.e. zoom factors and viewport position will be interpolated.
If set, antialiasing techniques will be used when rendering graph objects. Setting this option increases the rendering quality, but also slows down the rendering process.
If set, edges will be rendered before nodes, i.e. they nodes will always be seen at the front.
If set, the first label of each edge and node will be displayed as a tooltip, when hovering with the mouse over these objects.
This value specifies the zoom level beyond which graph elements will be painted sloppily. The smaller the value the farther you have to zoom out in order to see a sloppier painting.
Controls how many levels of undoability should be provided by the editor. The higher the value, the more memory will be used.
Allows choosing the default language of the editor. Currently the languages German and English are supported. Changing the language comes into effect after the application has been restated.
Determines the mode, which should be used to render the background of the graphs.
Determines the color to be used as a background color.
Specifies the image to be used with the above modes.
Determines whether the given grid should be displayed.
Determines whether the grid should be used to snap objects to it.
Specifies the distance between two grid points.
Specifies the visual appearance of the grid
Determines whether options should be displayed prior to the invocation of the layout algorithm.
Determines whether the options menu should be left open after the layout process. When activated this enables the user to tweak parameters easily.
Some algorithms may be aborted manually before completion. Activating this feature enables the user to interrupt the layout process, if it takes too long.
If set, the calculated layouts will be applied in an animated fashion to the original diagram.