Davide, that's a very interesting discovery that every other copy/paste fails when you use the menu caommands. I see that on my machine too. Hopefully that will make it easier to debug the problem, since it is a much more direct way to reproduce the problematic behavior.
(On the other hand, there is no guarantee that this copy/paste failure with menu commands is actually the same bug as the occasional copy/paste failures when you use keyboard shortcuts, since the observed behavior is pretty different.)
Davide, that's a very interesting discovery that every other copy/paste fails when you use the menu caommands. I see that on my machine too. Hopefully that will make it easier to debug the problem, since it is a much more direct way to reproduce the problematic behavior.
(On the other hand, there is no guarantee that this copy/paste failure with menu commands is actually the same bug as the occasional copy/paste failures when you use keyboard shortcuts, since the observed behavior is pretty different.)