Handbook
Glossary
mark>caret ( editor -- )
Factor handbook
»
UI framework
»
Building user interfaces
»
Pre-made UI gadgets
»
Editor gadgets
»
The caret and mark
Prev:
change-caret&mark ( editor quot: ( loc document -- newloc ) -- )
Next:
gadget-selection? ( gadget -- ? )
Vocabulary
ui
.
gadgets
.
editors
Inputs
editor
an
editor
Outputs
None
Word description
Moves the mark to the caret location, effectively deselecting any selected text.
See also
change-caret
,
change-caret&mark
Definition
USING:
accessors
kernel
models
;
IN:
ui.gadgets.editors
:
mark>caret
( editor -- )
[
editor-caret
]
[
mark>>
]
bi
set-model
;