31.01.2014 Views

Version 5.0 The LEDA User Manual

Version 5.0 The LEDA User Manual

Version 5.0 The LEDA User Manual

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

int gw.set gen edges(int m) sets the default number of edges m for all graph<br />

generator dialog panels.<br />

int gw.set edge distance(int d)<br />

grid style gw.set grid style(grid style s)<br />

sets the distance of multi-edges to d pixels.<br />

sets the grid style to s.<br />

int gw.set grid dist(int d) sets the grid distance to d.<br />

int gw.set grid size(int n) sets the grid distance such that n vertical grid<br />

lines lie inside the drawin area.<br />

bool gw.set show status(bool b)<br />

display a status window (b=true) or not (b=false).<br />

color gw.set bg color(color c) sets the window background color to c.<br />

char∗ gw.set bg pixmap(char ∗ pr, double xorig = 0, double yorig = 0)<br />

sets the window background pixmap to pr and the<br />

tiling origin to (xorig, yorig).<br />

void<br />

void<br />

void<br />

void<br />

void<br />

void<br />

gw.set bg xpm(const char ∗ ∗xpm data)<br />

sets the window background pixmap to the<br />

pixmap defined by xpm data.<br />

gw.set bg redraw(void (∗f)(window∗, double, double, double, double))<br />

gw.set node label font(gw font type t, int sz)<br />

gw.set node label font(string fn)<br />

gw.set edge label font(gw font type t, int sz)<br />

gw.set edge label font(string fn)<br />

sets the window background redraw function to f.<br />

sets the node label font type and size. Possible<br />

types are roman font, bold font, italic font, and<br />

fixed font.<br />

sets the node label font to the font with name fn.<br />

sets the edge label font type and size. roman font,<br />

bold font, italic font, and fixed font.<br />

sets the edge label font to the font with name fn.<br />

string gw.set node index format(string s)<br />

sets the node index format string to s.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!