The scale class

The scale widget may be used to obtain numerical input from the user.
  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); };

slide: The scale class

When a handler is attached to a scale it is called when the user releases the slider. The value of the scale is passed as an additional parameter when invoking the handler. The default binding for the scale is the ButtonRelease event.