Handbook
Glossary
scroll-arrow-dim ( -- value )
Vocabulary
ui
.
gadgets
.
sliders
.
private
Inputs
None
Outputs
value
an
object
Definition
IN:
ui.gadgets.sliders.private
CONSTANT:
scroll-arrow-dim
10
inline