Thanks Anders. I'm hoping this is fixed by the patches from https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/680 - if you're able to build your own gnome-shell package, maybe you could try those commits? Otherwise, we should get them in the distro shortly (this week).
Thanks Anders. I'm hoping this is fixed by the patches from https:/ /gitlab. gnome.org/ GNOME/gnome- shell/merge_ requests/ 680 - if you're able to build your own gnome-shell package, maybe you could try those commits? Otherwise, we should get them in the distro shortly (this week).