drag-selection ( editor -- )

Vocabulary

ui.gadgets.editors

Inputs

editor

an object

Outputs

None

Definition

USING: accessors kernel models ;

IN: ui.gadgets.editors

: drag-selection ( editor -- )
    [ drag-caret&mark ] [ mark>> set-model ]
    [ caret>> set-model ] tri ;