Name Rascal/Libraries/util/Clipboard/copy

Synopsis copy a value to the user's clipboard

Function void copy(value contents)

Usage import util::Clipboard;

Description This uses Java standard library functionality to copy contents to the clipboard. The string which is copied is equal to what is printed using the print function of IO.

Examples

rascal>import util::Clipboard;
ok
rascal>copy([1,2,3]);
ok
rascal>paste();
str: "[1,2,3]"

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]