libretro/RetroArch — pull request #1130 by aliaspider (2014-10-12 03:06:57+00:00)
Title: use menu_set_navigation after a keyboard search instead of modifying

menu->selection_ptr directly.