I use Firefox and I've never noticed this. On Google Docs, when you use the copy menu, it suggests that you use the keystroke combination, making me think it's unable to copy via JS. I haven't tested it specifically but I think FF already does this.