4 commits

Author	SHA1	Message	Date
Robin Appelman	5ef407d1c9	keyboard shortcuts for search results	2011-07-31 04:03:48 +02:00
Robin Appelman	291d8c73f8	dont hide the results if a new search yield no results	2011-07-31 02:05:07 +02:00
Robin Appelman	e6821e9d7c	Show play and add-to-playlist buttons in instant search results ... for now this only works from inside the media app	2011-07-31 00:50:04 +02:00
Robin Appelman	aa08196c32	some interface work on instant search	2011-07-30 21:18:54 +02:00