Thanks. I have confirmed on a third cosmic machine the same bug in 3.30.1-2ubuntu1.18.10.1 :(
However, when I apply the above patch to gnome-shell git (either master or gnome-3-30 branches), there is no bug at all. The patch works fine in my own local builds from git.
Thanks. I have confirmed on a third cosmic machine the same bug in 3.30.1- 2ubuntu1. 18.10.1 :(
However, when I apply the above patch to gnome-shell git (either master or gnome-3-30 branches), there is no bug at all. The patch works fine in my own local builds from git.