Handbook
Glossary
<checkmark-pen> ( -- pen )
Vocabulary
ui.gadgets.buttons.private
Inputs
None
Outputs
pen
an
object
Definition
USING:
ui.gadgets.buttons
ui.pens.image
ui.theme.images
;
IN:
ui.gadgets.buttons.private
:
<checkmark-pen>
( -- pen )
"checkbox"
theme-image
<image-pen>
"checkbox"
theme-image
<image-pen>
"checkbox-clicked"
theme-image
<image-pen>
"checkbox-set"
theme-image
<image-pen>
"checkbox-set-clicked"
theme-image
<image-pen>
<button-pen>
;