Handbook
Glossary
blink-caret ( editor -- )
Vocabulary
ui
.
gadgets
.
editors
.
private
Inputs
editor
an
object
Outputs
None
Definition
USING:
accessors
kernel
ui.gadgets
;
IN:
ui.gadgets.editors.private
:
blink-caret
( editor -- )
[
not
]
change-blink
relayout-1
;