Handbook
Glossary
checkmark-circle ( -- value )
Vocabulary
ui
.
gadgets
.
buttons
.
private
Inputs
None
Outputs
value
an
object
Definition
IN:
ui.gadgets.buttons.private
CONSTANT:
checkmark-circle
{
{
6 12
}
{
9 11
}
{
11 9
}
{
12 6
}
{
11 3
}
{
9 1
}
{
6 0
}
{
3 1
}
{
1 3
}
{
0 6
}
{
1 9
}
{
3 11
}
{
6 12
}
}
inline