This should be fixed by GNOME shell 42~beta-1ubuntu3 that is still in proposed, even if it was uploaded together with the theme.
So should be fixed for all when that lands to main.
https://launchpad.net/ubuntu/+source/gnome-shell/42~beta-1ubuntu3
This should be fixed by GNOME shell 42~beta-1ubuntu3 that is still in proposed, even if it was uploaded together with the theme.
So should be fixed for all when that lands to main.
https:/ /launchpad. net/ubuntu/ +source/ gnome-shell/ 42~beta- 1ubuntu3