interface button : widget {\c{\fbox{button}}
button(char* p, char* options = ""); button(widget* w, char* p, char* options = ""); void text(char* s);\c{// to display text}
void bitmap(char* s);\c{// to display a bitmap}
void state(char *s);\c{// to change the buttons state}
void flash(); char* invoke(); protected: install(action&,char* args); };