next-page ( editor -- )


Vocabulary
ui.gadgets.editors

Inputs
editoran object


Outputs
None

Definition
USING: ui.gadgets.editors.private ;

IN: ui.gadgets.editors

: next-page ( editor -- ) next-page-elt editor-next ;