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
Merge branch 'gpaste-3.12'

* gpaste-3.12:
  gnome-shell: rework search