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 ;