Handbook
Glossary
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
;