I don't know why... The fix worked until yesterday, but the problem has come back!
guillaume@massada:~$ dpkg -l |grep -i mutter
ii gir1.2-mutter-5:amd64 3.34.1+git20191107-1ubuntu1~19.10.1 amd64 GObject introspection data for Mutter
ii libmutter-5-0:amd64 3.34.1+git20191107-1ubuntu1~19.10.1 amd64 window manager library from the Mutter window manager
ii mutter 3.34.1+git20191107-1ubuntu1~19.10.1 amd64 Example window manager using GNOME's window manager library
ii mutter-common 3.34.1+git20191107-1ubuntu1~19.10.1 all shared files for the Mutter window manager
I don't know why... The fix worked until yesterday, but the problem has come back!
guillaume@ massada: ~$ dpkg -l |grep -i mutter mutter- 5:amd64 3.34.1+ git20191107- 1ubuntu1~ 19.10.1 amd64 GObject introspection data for Mutter git20191107- 1ubuntu1~ 19.10.1 amd64 window manager library from the Mutter window manager git20191107- 1ubuntu1~ 19.10.1 amd64 Example window manager using GNOME's window manager library git20191107- 1ubuntu1~ 19.10.1 all shared files for the Mutter window manager
ii gir1.2-
ii libmutter-5-0:amd64 3.34.1+
ii mutter 3.34.1+
ii mutter-common 3.34.1+