Oh, actually there was a formal fix done for this exact bug upstream in the 3.30 series. We should use that:
https://gitlab.gnome.org/GNOME/gnome-shell/issues/539
Oh, actually there was a formal fix done for this exact bug upstream in the 3.30 series. We should use that:
https:/ /gitlab. gnome.org/ GNOME/gnome- shell/issues/ 539