Hi, I have seen this bug now and then. I have no idea what causes it; it's erratic and infrequent. From my experience, CTRL-C works fine; the problem is with CTRL-V. I can press CTRL-V repeatedly with no result. "Paste" from the right-click context menu still works.
Peace, John Lindgren -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
