search: Let users toggle GNOME Settings search provider
This was actually deadcode since commit acd59aec aka "The Great Renaming".
Fixes #1282 (closed)
This was actually deadcode since commit acd59aec aka "The Great Renaming".
Fixes #1282 (closed)