max-displayed-history-size: make 10 the minimum

Signed-off-by: Marc-Antoine Perennou <Marc-Antoine@Perennou.com>
gnome-shell: properly handle refresh with search

Signed-off-by: Marc-Antoine Perennou <Marc-Antoine@Perennou.com>