previous-page ( editor -- )


Vocabulary
ui.gadgets.editors

Inputs
editoran object


Outputs
None

Definition
USING: ui.gadgets.editors.private ;

IN: ui.gadgets.editors

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