I think this is upstream bug https://gitlab.gnome.org/GNOME/mutter/issues/655.
The bug has been solved by: https://gitlab.gnome.org/GNOME/mutter/merge_requests/924 https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/815
It is a quite critical bug since it renders the shell unusable.
Would you consider backporting these patches to 18.04?
I think this is upstream bug https:/ /gitlab. gnome.org/ GNOME/mutter/ issues/ 655.
The bug has been solved by: /gitlab. gnome.org/ GNOME/mutter/ merge_requests/ 924 /gitlab. gnome.org/ GNOME/gnome- shell/merge_ requests/ 815
https:/
https:/
It is a quite critical bug since it renders the shell unusable.
Would you consider backporting these patches to 18.04?