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.

string<br />

string<br />

GW.get bg pixmap( ) returns the name of the current background pixmap.<br />

GW.set bg pixmap(string pix name)<br />

changes the window background pixmap to pixmap<br />

with name pix name. Returns the name of the previous<br />

background pixmap.<br />

color GW.get bg color( ) returns the current background color.<br />

color GW.set bg color(const color& c)<br />

color GW.get user layer color( )<br />

color GW.set user layer color(const color& c)<br />

int GW.get user layer line width( )<br />

sets the background color to c and returns its previous<br />

value.<br />

returns the current color of the user layer.<br />

sets the user layer color to c and returns its previous<br />

value.<br />

returns the current line width of the user layer.<br />

int<br />

GW.set user layer line width(int lw)<br />

sets the user layer line width to lw and returns its<br />

previous value.<br />

bool GW.get show grid( ) returns true, if the grid will be shown, false otherwise.<br />

bool<br />

GW.set show grid(bool sh)<br />

sets the show grid flag to sh and returns the previous<br />

value.<br />

double GW.get grid dist( ) returns the grid width parameter.<br />

double GW.set grid dist(double g)<br />

sets the grid width parameter to g and returns the<br />

previous value.<br />

grid style GW.get grid style( ) returns the grid style parameter.<br />

grid style GW.set grid style(grid style g)<br />

bool GW.get show position( )<br />

sets the grid style parameter to g and returns the previous<br />

value.<br />

returns true, if the mouse position will be shown, false<br />

otherwise.

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

Saved successfully!

Ooh no, something went wrong!