extend-selection ( editor -- )

Vocabulary

ui.gadgets.editors

Inputs

editor

an object

Outputs

None

Definition

USING: accessors kernel ui.gadgets ui.gadgets.editors.private ;

IN: ui.gadgets.editors

: extend-selection ( editor -- )
    [ request-focus ] [ restart-blinking ]
    [ dup caret>> click-loc ] tri ;