I have upgraded to mutter 3.36.2-1ubuntu1~20.04.1 this morning and rebooted. I can confirm this new version fixes the problem for me. Thanks! Le mar. 12 mai 2020 à 22:36, Brian Murray