Handbook
Glossary
draw-caret? ( editor -- ? )
Vocabulary
ui
.
gadgets
.
editors
.
private
Inputs
editor
an
object
Outputs
?
an
object
Definition
USING:
accessors
combinators.short-circuit
kernel
ui.gadgets
;
IN:
ui.gadgets.editors.private
:
draw-caret?
( editor -- ? )
{
[
focused?>>
]
[
blink>>
]
[
[
preedit?
not
]
[
preedit-selection-mode?>>
not
]
bi
or
]
}
1&&
;