Comment 34 for bug 630383

Addendum to my previous comment:

The usual keyboard equivalents for copy/paste are also not working for me in gedit. I suspect something pretty fundamental in GNOME is broken, and that some developers are having a bad day.