select-previous-page ( editor -- )


Vocabulary
ui.gadgets.editors

Inputs
editoran object


Outputs
None

Definition
USING: ui.gadgets.editors.private ;

IN: ui.gadgets.editors

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