Handbook
Glossary
<filled-border> ( child gap -- border )
Vocabulary
ui
.
gadgets
.
borders
Inputs
child
an
object
gap
an
object
Outputs
border
an
object
Definition
USING:
accessors
;
IN:
ui.gadgets.borders
:
<filled-border>
( child gap -- border )
<border>
{
1 1
}
>>fill
;