b6edbd46b9
Some keyboard spot a dedicated search key, which gnome-settings-daemon currently handles by spawning gnome-search-tool. It makes a lot of sense to promote the Shell's integrated search feature instead, so expose an appropriate DBus method g-s-d can use. https://bugzilla.gnome.org/show_bug.cgi?id=700536