7 Commits

Author	SHA1	Message	Date
Bart Visscher	9c4c79346c	After selecting a search result, hide the results	2012-09-28 21:18:20 +02:00
Bart Visscher	7749875a0d	Fix 'Search only shows the app name of the first app' ... Fixes: oc-1369	2012-09-17 20:00:31 +02:00
Bart Visscher	f4b937c6fe	Simplify search result js code	2012-06-22 20:31:59 +02:00
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