About a third to half of the time that I do Ctrl+C and then Ctrl+V, it fails to copy the selected text to the clipboard. If I then go and do Ctrl+C again, it works the second time. How can I make it work reliably?
Observations:
I don't think I have a clipboard manager running. At least, I know that clipit is not installed.
The issue does not depend on the application. It can occur with any application, and also for text being copied from one application to another.
The issue is with copying, not with pasting. If I have text already in the clipboard, when this issue occurs, the selected text does not get copied when I do Ctrl+C - I still have the old text in the clipboard, not the new text that should have been copied.
The issue is not a keyboard issue. It happens just the same if I select "Copy" with the mouse. It also happens when I do a cut (Ctrl-X) in which case the selected text is just deleted instead of cut to the clipboard.