USING: documents.elements ;

IN: ui.gadgets.editors

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