Comment 8 for bug 1925792

Here is a quick-and-dirty solution:

https://launchpad.net/~gunnarhj/+archive/ubuntu/gnome-desktop3

Those patches are in Debian too, and the issue is present also on Debian testing. Probably a reason for a last minute change there.