I can confirm Paul's experience. Copy (shift-ctrl-c) works fine but Paste (shift-ctrl-v or any other shortcut I put in there for that matter) doesn't work. Shift-insert does work as does pasting from the menu.
I am using up-to-date Maverick and this has started fairly recently ( I think perhaps with the final Gnome release but I'm not 100% sure).
I can confirm Paul's experience. Copy (shift-ctrl-c) works fine but Paste (shift-ctrl-v or any other shortcut I put in there for that matter) doesn't work. Shift-insert does work as does pasting from the menu.
I am using up-to-date Maverick and this has started fairly recently ( I think perhaps with the final Gnome release but I'm not 100% sure).