I usually use a different browser for Google Docs, but that might change. I was aware that copying text in Opera puts plain text on the clipboard, but it hadn't occurred to me that it might also be incapable of handling formatted text when pasting.
Now just to hope that an upgrade of Opera doesn't make it all "ooh, look at me, I can do rich text"...
