draw-caret-shape ( editor -- )

Vocabulary

ui.gadgets.editors.private

Inputs

editor

an object

Outputs

None

Definition

USING: combinators kernel namespaces ui.gadgets.editors ;

IN: ui.gadgets.editors.private

: draw-caret-shape ( editor -- )
    caret-style get {
        { +box+ [ draw-caret-rect ] }
        { +filled+ [ draw-caret-rect-filled ] }
        [ drop draw-caret-line ]
    } case ;