As you say the main issue is now apparently fixed. So please:
1. Update the bug description to describe the remaining problem(s).
2. Collect more system information by running: apport-collect 1754819
** Changed in: gnome-shell (Ubuntu)
Status: Confirmed => Incomplete
** Package changed: gnome-shell (Ubuntu) => gnome-control-center
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
Searching within Gnome Settings only works for top-level menu entries
To manage notifications about this bug go to:
desktop-bugs mailing list