position-caret ( editor -- )

Vocabulary

ui.gadgets.editors

Inputs

editor

an object

Outputs

None

Definition

USING: accessors documents.elements kernel ;

IN: ui.gadgets.editors

: position-caret ( editor -- )
    mouse-elt dup one-char-elt =
    [ drop dup extend-selection dup mark>> click-loc ]
    [ select-elt ] if ;