Handbook
Glossary
border-minor-dim ( border -- dim )
Vocabulary
ui
.
gadgets
.
borders
.
private
Inputs
border
an
object
Outputs
dim
an
object
Definition
USING:
ui.gadgets
;
IN:
ui.gadgets.borders.private
:
border-minor-dim
( border -- dim )
gadget-child
pref-dim
;