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
editoran 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