paste-selection ( editor -- )


Vocabulary
ui.gadgets.editors

Inputs
editoran object


Outputs
None

Definition
USING: namespaces ui.clipboards ;

IN: ui.gadgets.editors

: paste-selection ( editor -- ) selection get paste-clipboard ;