Handbook
Glossary
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
;