context: function DoClipCopy(){  var copytext=gBrowser.selectedBrowser.contentDocument.getSelection().toString();  var str = Components.classes["@mozilla.org/supports-string;1"].createInstance(nsISupportsString);  if (!str) return false;  str.data = copytext;  var trans = Components.classes["@mozilla.org/widget/transferable;1"].createInstance(nsITransferable);  if (!trans) return false;  trans.addDataFlavor("text/unicode");  trans.setTransferData("text/unicode",str,copytext.length * 2);  var clipid = nsIClipboard;  var clip = Components.classes["@mozilla.org/widget/clipboard;1"].getService(clipid);  if (!clip) return false;  clip.setData(trans,null,clipid.kGlobalClipboard);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/4e328272b01513ece219f2ebfbf1099586833fb0/minimo.js/clean/minimo/chrome/content/minimo.js