draw-caret-rect ( editor -- )

Vocabulary

ui.gadgets.editors.private

Inputs

editor

an object

Outputs

None

Definition

USING: opengl ;

IN: ui.gadgets.editors.private

: draw-caret-rect ( editor -- ) caret-rect gl-rect ;