Handbook
Glossary
<checkmark> ( -- gadget )
Vocabulary
ui
.
gadgets
.
buttons
.
private
Inputs
None
Outputs
gadget
an
object
Definition
USING:
accessors
kernel
ui.gadgets
ui.pens
;
IN:
ui.gadgets.buttons.private
:
<checkmark>
( -- gadget )
<gadget>
<checkmark-pen>
>>interior
dup
dup
interior>>
pen-pref-dim
>>dim
;