IN: ui.gadgets.buttons.private

: checkmark-points ( dim -- points )
    {
        [ { 0 0 } v* { 0.5 0.5 } v+ ]
        [ { 1 1 } v* { 0.5 0.5 } v+ ]
        [ { 1 0 } v* { -0.3 0.5 } v+ ]
        [ { 0 1 } v* { -0.3 0.5 } v+ ]
    } cleave 4array ;