I saw the upstream response. So this bug will probably keep being open for now.
Tested in Unity (16.04); the issue is not present there. Possibly unity has some code which may be useful for an Ubuntu patch of gnome-shell.
I saw the upstream response. So this bug will probably keep being open for now.
Tested in Unity (16.04); the issue is not present there. Possibly unity has some code which may be useful for an Ubuntu patch of gnome-shell.