Version 5.0 The LEDA User Manual

void gw.display(int x, int y) displays gw with upper left corner at (x, y). The
predefined constant window :: center can be used
to center the window horizontally (if passed as x)
or vertically (if passed as y).
void gw.display( ) displays gw at default position.
bool gw.edit( ) enters the edit mode of GraphWin that allows to
change the graph interactively by operations associated
with certain mouse events or by choosing
operations from the windows menu bar (see
section about edit-mode) for a description of the
available commands and operations). Edit mode
is terminated by either pressing the done button
or by selecting exit from the file menu. In the first
case the result of the edit operation is true and in
the latter case the result is false.
bool gw.open(int x, int y) displays the window at position (x, y), enters edit
mode and return the corresponding result.
bool gw.open( ) as above, but displays the window at default position.
void gw.close( ) closes the window.
void
gw.message(const char ∗ msg)
displays the message msg at the top of the window.
string gw.get message( ) returns the current messsage string.
void gw.del message( ) deletes a previously written message.
double gw.get xmin( ) returns the minimal x-coordinate of the window.
double gw.get ymin( ) returns the minimal y-coordinate of the window.
double gw.get xmax( ) returns the maximal x-coordinate of the window.
double gw.get ymax( ) returns the maximal y-coordinate of the window.
void
gw.win init(double xmin, double xmax, double ymin)
sets the coordinates of the window to
(xmin, xmax, ymin).
void gw.redraw( ) redraws the graph. If the flush parameter of gw
is set to false (see set flush) this operation can be
used to display the current state of the graph after
a number of update operations.