Question: javascript cut/copy/paste to clipboard: how did Google solve it?