[Bug 1754819] Re: Using Gnome Settings' search tool works for some but not all items located under top-level menu categories

2018-05-12 Thread Launchpad Bug Tracker
[Expired for gnome-control-center (Ubuntu) because there has been no activity for 60 days.] ** Changed in: gnome-control-center (Ubuntu) Status: Incomplete => Expired -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-contro

[Bug 1754819] Re: Using Gnome Settings' search tool works for some but not all items located under top-level menu categories

2018-03-13 Thread Ken T
Jeremy, it seems that this issue has already been reported upstream, but the issue has been closed and I don't yet know how to reopen it: https://gitlab.gnome.org/GNOME/gnome-control-center/issues/1 I'd edit the desktop.in.in files directly myself, but am a newcomer to the process for doing so. A

[Bug 1754819] Re: Using Gnome Settings' search tool works for some but not all items located under top-level menu categories

2018-03-13 Thread Ken T
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

[Bug 1754819] Re: Using Gnome Settings' search tool works for some but not all items located under top-level menu categories

2018-03-13 Thread Ken T
** Description changed: (As seen in the latest daily build of 32bit Ubuntu Budgie) - See attached screenshot. Searching within settings is currently not very - useful / intuitive, as it only finds results at the level of top-level - menu entries / categories, but not the items within them. +

[Bug 1754819] Re: Using Gnome Settings' search tool works for some but not all items located under top-level menu categories

2018-03-13 Thread Ken T
** Summary changed: - Searching within Gnome Settings only works for top-level menu entries + Using Gnome Settings' search tool works for some but not all items located under top-level menu categories -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which i