libretro/RetroArch — pull request #410 by Themaister (2013-12-09 15:23:56+00:00)
Title: Add experimental RGUI keyboard search feature.

Don't merge this yet. It's kinda ugly and experimental. It's my idea for how keyboard search can be done with RGUI, or typing in general.

Type '/' to start search when in RGUI, then type search string (case sensitive for
now due to strcasestr being GNU ext). When done, type return and the selection ptr should get updated.