slider-required-width ( slider -- min-dim )

Vocabulary

ui.gadgets.sliders.private

Inputs

slider

an object

Outputs

min-dim

an object

Definition

USING: accessors sequences ui.gadgets ui.gadgets.buttons ;

IN: ui.gadgets.sliders.private

: slider-required-width ( slider -- min-dim )
    children>> [ button? ] filter first pref-dim ;