title: Gnome shell extension, copy text to clipboard
body: <p>I'm working on a Gnome Shell Extensions and I can't find any documentation on how to copy some string into the clipboard for the user.</p>
  
  <p>I searched the Gnome extensions git but without any success.</p>
  
  <p>Thank you for your help! :)</p>