Comment 18 for bug 1825626

For it was an issue with mutter:

https://youtrack.jetbrains.com/issue/JBR-1644

Fix is:

sudo apt install \
      gir1.2-mutter-4=3.32.0+git20190410-1ubuntu1 \
      libmutter-4-0=3.32.0+git20190410-1ubuntu1 \
      mutter=3.32.0+git20190410-1ubuntu1 \
      mutter-common=3.32.0+git20190410-1ubuntu1