7.2 A tour of gadgets
7.2.6 Range gadgets
Range gadgets are gadgets whose gadget-value can be any value on a sliding scale. The most obvious examples of range gadgets are scroll bars and sliders. The protocol class of all range gadgets is the class <value-range-gadget>.