Handbook
Glossary
<keys> ( gadget -- key-handler )
Vocabulary
key-handlers
Inputs
gadget
an
object
Outputs
key-handler
an
object
Definition
USING:
accessors
ui.gadgets.borders
;
IN:
key-handlers
:
<keys>
( gadget -- key-handler )
key-handler
new-border
{
0 0
}
>>size
;