Patched to fix keyboard navigation and highlighting of search results (tested under Gnome 3.4)