Handbook
Glossary
checkmark-square ( -- value )
Vocabulary
ui
.
gadgets
.
buttons
.
private
Inputs
None
Outputs
value
an
object
Definition
IN:
ui.gadgets.buttons.private
CONSTANT:
checkmark-square
{
{
0 0
}
{
0 12
}
{
12 12
}
{
12 0
}
}
inline