<div dir="ltr">Indeed, the update to mutter 46.1 solved the problem. Many thanks!<div><br></div><div>Florian </div></div>