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.


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