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.
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.