4 Commits (cc494259d3e1fc60e82452dfdc1d0e0e0cd848e9)

Author	SHA1	Message	Date
Robin Appelman	5ef407d1c9	keyboard shortcuts for search results	14 years ago
Robin Appelman	291d8c73f8	dont hide the results if a new search yield no results	14 years ago
Robin Appelman	e6821e9d7c	Show play and add-to-playlist buttons in instant search results ... for now this only works from inside the media app	14 years ago
Robin Appelman	aa08196c32	some interface work on instant search	14 years ago