historymanager-prefix-search: update for Gnome 3.14