Version 5.0 The LEDA User Manual

void W.set show coord object(const window handler& obj )
sets the show coordinate object parameter to
obj.
void
W.set redraw(void (∗F )(window∗))
sets the redraw function parameter to F .
void W.set redraw(const window handler& obj )
sets the redraw object parameter to obj.
void W.set redraw(void (∗F )(window∗, double, double, double, double) = 0)
sets the redraw function parameter to F .
void W.set redraw2(const window handler& obj )
sets the redraw object parameter to obj.
void
W.set bg redraw(void (∗F )(window∗, double, double, double,
double) = 0)
sets the background redraw function parameter
to F .
void W.set bg redraw(const window handler& obj )
sets the background redraw object parameter to
obj.
void
W.start timer(int msec, void (∗F )(window∗))
starts a timer that runs F every msec milliseconds
with a pointer to W .
void W.start timer(int msec, const window handler& obj )
void W.stop timer( ) stops the timer.
starts a timer that runs the operator() of obj
every msec milliseconds.
void W.set flush(bool b) sets the flush parameter to b.
void
W.set icon pixrect(char ∗ pr)
makes pr the new icon of W .
void∗ W.set client data(void ∗ p, int i = 0)
3.3 Reading parameters
sets the i-th client data pointer of W to p and
returns its previous value. Precondition: i < 16.
int W.get line width( ) returns the current line width.
line style W.get line style( ) returns the current line style.