Andrew, or anyone else experiencing this in 18.10, please report the bug here:
https://gitlab.gnome.org/GNOME/gnome-shell/issues
and then tell us the new bug ID.
Andrew, or anyone else experiencing this in 18.10, please report the bug here:
https:/ /gitlab. gnome.org/ GNOME/gnome- shell/issues
and then tell us the new bug ID.