Version 5.0 The LEDA User Manual

void
W.screenshot(string fname, bool full color = true)
creates a screenshot of the current window. On unix systems
suffix .ps is appended to fname and the output format
is postscript. On windows systems the suffix .wmf is added
and the format is windows metafile. If the flag full color
is set to false colors will be translated into grey scales.
3.4.15 Buffering
void W.start buffering( ) starts buffering mode for W . If W has no associated buffer
a buffer pixrect buf of the same size as the current drawing
area of W is created. All subsequent drawing operations
draw into buf instead of W until buffering mode is ended
by calling W.stop buffering( ).
void W.flush buffer( ) copies the contents of the buffer pixrect into the drawing
area of W .
void
W.flush buffer(double dx, double dy)
copies the contents of the buffer pixrect translated by vector
(dx, dy) into the drawing area of W .
void W.flush buffer(double x 0 , double y 0 , double x 1 , double y 1 )
copies the contents of rectangle (x0, y0, x1, y1) of the buffer
pixrect into the corresponding rectangle of the drawin
area.
void W.flush buffer(double dx, double dy, double x 0 , double y 0 , double x 1 , double y 1 )
void W.stop buffering( ) ends buffering mode.
copies the contents of rectangle (x0, y0, x1, y1) of the buffer
pixrect into the corresponding rectangle of the drawin area
translated by vector (dx, dy).
void
W.stop buffering(char ∗ & prect)
ends buffering mode and returns the current buffer pixrect
in prect.
3.4.16 Clipping
void W.set clip rectangle(double x 0 , double y 0 , double x 1 , double y 1 )
sets the clipping region of W to rectangle (x0, y0, x1, y1).
void W.set clip ellipse(double x 0 , double y 0 , double r 1 , double r 2 )
sets the clipping region of W to ellipse with center (x, y)
and horizontal radius r1 and vertical radius r2.
void W.reset clipping( ) restores the clipping region to the entire drawing area of
W .