@chriscoyier auto-copy-to-clipboard works for me, but when it is pasted to notepad, code formatting is not the same (IE7-Flash10)