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:

I'd edit the files directly myself, but am a newcomer to
the process for doing so. Any pointers to how-to's, etc?

Also, on the issue of Gnome having two upstream bugtrackers, I note that 
according to the following link:
... they say that their plan is "Shortly after the new solution (Gitlab) is 
setup, disable issue reporting in Bugzilla (as well as new accounts, 
milestones, etc)."
So I guess we can just use Gitlab for issues going forward.


You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

  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:

ubuntu-bugs mailing list

Reply via email to