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