interface scale : widget {\c{\fbox{scale}}
scale(char* p, char* options = ""); scale(widget* w, char* p, char* options = ""); void text(char* s);\c{// text to display}
void from(int n);\c{// begin value}
void to(int n);\c{// end value}
int get();\c{// gets the value}
void set(int v);\c{// sets the value}
protected: install(action&, char* args); };