next-character ( editor -- )

Vocabulary

ui.gadgets.editors

Inputs

editor

an object

Outputs

None

Definition

USING: documents.elements kernel ui.gadgets
ui.gadgets.editors.private ;

IN: ui.gadgets.editors

: next-character ( editor -- )
    dup gadget-selection?
    [ dup selection-start/end nip over set-caret mark>caret ]
    [ char-elt editor-next ] if ;