delete-previous-character ( editor -- ) (original) (raw)

delete-previous-character ( editor -- )

Vocabulary
ui.gadgets.editors

Inputs

Outputs
None

Definition

USING: documents.elements ;

IN: ui.gadgets.editors

: delete-previous-character ( editor -- )
char-elt editor-backspace ;