Please report the problem to the Gnome Shell developers here:
https://gitlab.gnome.org/GNOME/gnome-shell/issues
and then tell us the new bug ID.
Please report the problem to the Gnome Shell developers here:
https:/ /gitlab. gnome.org/ GNOME/gnome- shell/issues
and then tell us the new bug ID.