gnome-shell is just an innocent victim here. It's unlikely we would need or want to do a workaround in that.
gnome-shell is just an innocent victim here. It's unlikely we would need or want to do a workaround in that.