Version 5.0 The LEDA User Manual

void W.disable button(int b) disables button b.
void W.enable button(int b) enables button b.
bool W.is enabled(int b) tests whether button b is enabled or not.
void
W.disable panel(bool disable every item = true)
disables the entire panel section of W .
void W.enable panel( ) enables the entire panel section of W .
Accessing and Updating Item Data
void W.set text(panel item it, string s)
replaces the text of text item it by s.
panel item W.get item(string s) returns the item with label s and NULL if no such
item exists in W .
int
string
W.get button(string s) returns the button with label s and −1 if no such
button exists in W .
W.get button label(int but)
returns the label of button but.
void W.set button label(int but, string s)
sets the label of button but to s.
void W.set button pixrects(int but, char ∗ pr1 , char ∗ pr2 )
sets the pixrects of button but to pr1 and pr2.
window∗
W.get window(int but) returns a pointer to the subwindow attached to
button but (NULL if but has no subwindow)
window∗ W.set window(int but, window ∗ M)
associates subwindow (menu) ∗M with button but.
Returns a pointer to the window previously attached
to but.
void
W.set function(int but, void (∗F )(int))
assign action function F to button but.
void W.set object(int but, const window handler& obj )
assign handler object obj to button but.
3.9.9. Miscellanous
void W.redraw panel( ) redraw the panel area of W .