Version 5.0 The LEDA User Manual

4. Minimal and maximal coordinates of the drawing area xmin (default 0), xmax
(default 100), ymin (default 0).
5. The grid width parameter (default 0) defines the width of the grid that is used in
the drawing area. A grid width of 0 indicates that no grid is to be used.
6. The frame label parameter defines a string to be displayed in the frame of the
window.
7. The show coordinates flag (default true) determines whether the current coordinates
of the mouse cursor in the drawing section are displayed in the upper right corner.
8. The flush output flag (default true) determines whether the graphics output stream
is flushed after each draw action.
9. The line width parameter (default value 1 pixel) defines the width of all kinds of
lines (segments, arrows, edges, circles, polygons).
10. The line style parameter defines the style of lines. Possible line styles are solid
(default), dashed, and dotted.
11. The point style parameter defines the style points are drawn by the draw point
operation. Possible point styles are pixel point, cross point (default), plus point,
circle point, disc point, rect point, and box point.
12. The node width parameter (default value 8 pixels) defines the diameter of nodes
created by the draw node and draw filled node operations.
13. The text mode parameter defines how text is inserted into the window. Possible
values are transparent (default) and opaque.
14. The show orientation parameter defines, whether or not the direction or orientation
of segments, lines, rays, triangles, polygons and gen polygons will be shown (default
false.)
15. The drawing mode parameter defines the logical operation that is used for setting
pixels in all drawing operations. Possible values are src mode (default) and
xor mode. In src mode pixels are set to the respective color value, in xor mode the
value is bitwise added to the current pixel value.
16. The redraw function parameter is a pointer to a function of type void (∗F)(window∗).
It is called with a pointer to the corresponding window as argument to redraw (parts
of) the window whenever a redrawing is necessary, e.g., if the shape of the window
is changed or previously hidden parts of it become visible.
17. The window delete handler parameter is a pointer to a function of type void
(∗F)(window∗). It is called with a pointer to the corresponding window as argument
when the window is to be closed by the window manager (e.g. by pressing
the ×-button on Windows-NT systems). The default window delete handler closes
the window and terminates the program.