Best I can tell, this bug was fixed (for gnome-shell) in 18.04. The latest duplicates are from Ubuntu 17.10, and the above comments about later releases appear to be different bugs from this one.
If anyone finds a similar problem in Ubuntu 18.04 or later then please run this command to create a new bug:
Best I can tell, this bug was fixed (for gnome-shell) in 18.04. The latest duplicates are from Ubuntu 17.10, and the above comments about later releases appear to be different bugs from this one.
If anyone finds a similar problem in Ubuntu 18.04 or later then please run this command to create a new bug:
ubuntu-bug gnome-shell