previous-line ( editor -- ) (original) (raw)

previous-line ( editor -- )

Vocabulary
ui.gadgets.editors

Inputs

Outputs
None

Definition

USING: documents.elements ;

IN: ui.gadgets.editors

: previous-line ( editor -- ) line-elt editor-prev ;