elevator

Vocabulary

ui.gadgets.sliders.private

Class description

An elevator is the part of a slider between the up/down arrow buttons, where a thumb may be moved up and down.

Definition

USING: ui.gadgets ;

IN: ui.gadgets.sliders.private

TUPLE: elevator < gadget direction ;

Methods

USING: ui.gadgets ui.gadgets.sliders.private ;

M: elevator layout* find-slider layout-thumb ;