Handbook
Glossary
draw-caret-rect-filled ( editor -- )
Vocabulary
ui
.
gadgets
.
editors
.
private
Inputs
editor
an
object
Outputs
None
Definition
USING:
opengl
;
IN:
ui.gadgets.editors.private
:
draw-caret-rect-filled
( editor -- )
caret-rect
gl-fill-rect
;