![]() |
|
Navigation |
Synopsis copy a value to the user's clipboard
Function
str paste()
Usage
import util::Clipboard;
Description This uses Java standard library functionality to copy contents from the clipboard. The
string which is retrieved is the exact contents of the clipboard if the content is indeed
representable as a string.
Examples rascal>import util::Clipboard; ok rascal>copy("Hello clipboard!"); ok rascal>paste(); str: "Hello clipboard!" ![]() |