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 desktop.in.in 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,
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