delete-to-end-of-document ( editor -- )

Vocabulary

ui.gadgets.editors

Inputs

editor

an object

Outputs

None

Definition

USING: documents.elements ;

IN: ui.gadgets.editors

: delete-to-end-of-document ( editor -- )
    doc-elt editor-delete ;