editor-select-next ( editor elt -- )

Vocabulary

ui.gadgets.editors

Inputs

editor	an object
elt	an object

Outputs

None

Definition

USING: documents.elements ;

IN: ui.gadgets.editors

: editor-select-next ( editor elt -- )
    '[ _ next-elt ] change-caret ;