so the Gnome folks said they won't fix it, because the version of Gnome I'm using (3.28.2, which was distributed with Ubuntu 18.04.1 LTS when I did the installation of the OS earlier this month) is too old and no longer supported. The Gnome developers said I should persuade Canonical to distribute a more current version of Gnome. Apparently, the problem can't be re-created on Gnome 3.30.2.
so the Gnome folks said they won't fix it, because the version of Gnome I'm using (3.28.2, which was distributed with Ubuntu 18.04.1 LTS when I did the installation of the OS earlier this month) is too old and no longer supported. The Gnome developers said I should persuade Canonical to distribute a more current version of Gnome. Apparently, the problem can't be re-created on Gnome 3.30.2.
Thanks for the help!