<checkmark-pen> ( -- pen )

Vocabulary

ui.gadgets.buttons.private

Inputs

None

Outputs

pen

an object

Definition

USING: ui.gadgets.buttons ui.pens.polygon ui.theme ;

IN: ui.gadgets.buttons.private

: <checkmark-pen> ( -- pen )
    roll-button-rollover-border checkmark-square <polygon>
    roll-button-rollover-border checkmark-square <polygon>
    dim-color checkmark-square <polygon>
    errors-color checkmark-square <polygon>
    toolbar-button-pressed-background checkmark-square <polygon>
    <button-pen> ;