select-next-page ( editor -- )

Vocabulary

ui.gadgets.editors

Inputs

editor

an object

Outputs

None

Definition

USING: ui.gadgets.editors.private ;

IN: ui.gadgets.editors

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