gnome-shell: rework search

Signed-off-by: Marc-Antoine Perennou <Marc-Antoine@Perennou.com>
Merge branch 'gpaste-3.10' into gpaste-3.12

* gpaste-3.10:
  gnome-shell: rework search