Handbook
Glossary
border-dim ( border -- dim )
Vocabulary
ui
.
gadgets
.
borders
.
private
Inputs
border
an
object
Outputs
dim
an
object
Definition
USING:
accessors
kernel
;
IN:
ui.gadgets.borders.private
:
border-dim
( border -- dim )
[
border-major-dim
]
[
border-minor-dim
]
[
fill>>
]
tri
scale
;