> > Bug no. 2: > > > > The following happens for me very frequently. > > I've been observing that for ages on Ubuntu 16.04, I think I might > even have reported it. > Unbelievable it's still unfixed in 18.04.
This is most likely not an Ubuntu packaging bug, but something in the upstream Gnome code. Have you researched are there any bugs open about this in Gnome? Maybe you could contribute upstream and help Gnome developers fix it? Or if you have an Ubuntu Advantage subscription maybe use your support channels? Reporting to a generic Ubuntu quality mailing list will probably not help that much. I recommend you invest in some open source contribution time and work to help Gnome developers. - Otto -- Ubuntu-quality mailing list Ubuntu-quality@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-quality