remove-preedit-text ( editor -- )

Vocabulary

ui.gadgets.editors

Inputs

editor

an object

Outputs

None

Definition

USING: accessors combinators ;

IN: ui.gadgets.editors

: remove-preedit-text ( editor -- )
    {
        [ preedit-start>> ]
        [ set-caret ]
        [ preedit-end>> ]
        [ set-mark ]
        [ remove-selection ]
    } cleave ;