A brief update: I am still running with the proposed mutter package on Ubuntu 20.04, and hae seen this copy/paste problem occur several more times in the last few days. I continue to believe that the new mutter is an improvement, but that the bug has not been fixed completely.
A brief update: I am still running with the proposed mutter package on Ubuntu 20.04, and hae seen this copy/paste problem occur several more times in the last few days. I continue to believe that the new mutter is an improvement, but that the bug has not been fixed completely.