editor-menu ( editor -- )


Vocabulary
ui.gadgets.editors

Inputs
editoran object


Outputs
None

Definition
USING: ui.clipboards ui.gadgets.menus ;

IN: ui.gadgets.editors

: editor-menu ( editor -- )
{ com-undo com-redo ---- com-cut com-copy com-paste }
show-commands-menu ;