end-of-document ( editor -- ) (original) (raw)

end-of-document ( editor -- )

Vocabulary
ui.gadgets.editors

Inputs

Outputs
None

Definition

USING: documents.elements ;

IN: ui.gadgets.editors

: end-of-document ( editor -- ) doc-elt editor-next ;