Version 5.0 The LEDA User Manual

void W.display(window& W 0 , int x, int y)
opens W and displays it with its left upper corner
at position (x, y) relative to the upper left
corner of window W 0 .
W.open. . . can be used as a synonym for W.display. . . Note, that the open operation for
panels (cf. 17.3) is defined slightly different.
void W.close( ) closes W by removing it from the display.
void W.clear( ) clears W using the current background color or
pixmap, i.e., if W has a background pixmap
defined it is tiled with P such that the upper
left corner is the tiling origin. Otherwise, it is
filled with background color of W .
void W.clear(double x 0 , double y 0 , double x 1 , double y 1 )
only clears the rectangular area (x0, y0, x1, y1)
of window W using the current background
color or pixmap.
void W.clear(color c) clears W with color c and sets the background
color of W to c.
void
W.clear(double xorig, double yorig)
clears W . If a background pixmap is defined
the point (xorig, yorig) is used as the origin of
tiling.
void W.redraw( ) repaints the drawing area if W has a redraw
function.
3.2 Setting parameters
color W.set color(color c) sets the foreground color parameter to c and
returns its previous value.
color
W.set fill color(color c) sets the fill color parameter (used by ≪ operators)
to c and returns its previous value.
color W.set bg color(color c) sets the background color parameter to c and
returns its previous value.
char∗
int
W.set bg pixmap(char ∗ pr)
W.set line width(int pix)
sets the background pixmap to pr and returns
its previous value.
sets the line width parameter to pix pixels and
returns its previous value.