Indeed, the update to mutter 46.1 solved the problem. Many thanks!
Florian
- Bug#1070057: mutter: Severe keyboard input lag/pauses Florian Cramer
- Bug#1070057: mutter: Severe keyboard input lag/pauses Jeremy Bícha
- Bug#1070057: mutter: Severe keyboard input lag/pau... Florian Cramer
