draw-caret ( editor -- )

Vocabulary

ui.gadgets.editors.private

Inputs

editor

an object

Outputs

None

Definition

USING: kernel opengl ui.theme ;

IN: ui.gadgets.editors.private

: draw-caret ( editor -- )
    dup draw-caret?
    [ [ editor-caret-color gl-color ] dip draw-caret-shape ]
    [ drop ] if ;