caret/mark-changed ( editor -- )

Vocabulary

ui.gadgets.editors.private

Inputs

editor

an object

Outputs

None

Definition

USING: kernel ui.gadgets.editors ;

IN: ui.gadgets.editors.private

: caret/mark-changed ( editor -- )
    [ restart-blinking ] keep scroll>caret ;