Handbook
Glossary
thumb
Vocabulary
ui
.
gadgets
.
sliders
.
private
Class description
A thumb is the gadget contained in a
slider
's
elevator
which indicates the current scroll position and can be dragged up and down with the mouse.
Definition
USING:
ui.gadgets.tracks
;
IN:
ui.gadgets.sliders.private
TUPLE:
thumb
<
track
;