rem: copySelectionToClipboard(); return(true); 
add: copySelectionToClipboard(); return true; 
context: function doCopy(){	copySelectionToClipboard();	return(true);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/e9736d961a24945c2f31d67dc799c3c803d7729a/bookmarks.js/buggy/xpfe/components/bookmarks/resources/bookmarks.js