Jeremy, Daniel, Thanks for your replies. As per Daniel's suggestion, I've run apport, & have updated the bug title and description.
I'll also lodge a bug report upstream as Jeremy suggests, and report back with a bug number. Jeremy, you've suggested that there are potentially multiple bugs here - I'm not sure I agree with this. I hope that by amending the bug description that I've summed up the over-arching issue, and that filing a bug report for each instance of the issue wouldn't be necessary. Please let me know your thoughts on this. With this in mind, I disagree with Daniel's assertion that the main issue in this bug report has already been fixed. Thanks, Ken. *** -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1754819 Title: Using Gnome Settings' search tool works for some but not all items located under top-level menu categories To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/1754819/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
