Handbook
Glossary
delete-previous-character ( editor -- )
Vocabulary
ui
.
gadgets
.
editors
Inputs
editor
an
object
Outputs
None
Definition
USING:
documents.elements
;
IN:
ui.gadgets.editors
:
delete-previous-character
( editor -- )
char-elt
editor-backspace
;