Commits · b975f1151451785f8350a12bf63d8fd63f0d04b4 · die_coolen_jungs / our_own_cloud_project

Jul 31, 2011
- keyboard shortcuts for search results · 5ef407d1
  Robin Appelman authored 13 years ago
  
  5ef407d1
- dont hide the results if a new search yield no results · 291d8c73
  Robin Appelman authored 13 years ago
  
  291d8c73
Jul 30, 2011
- Show play and add-to-playlist buttons in instant search results · e6821e9d
  Robin Appelman authored 13 years ago
  
  for now this only works from inside the media app
  e6821e9d
- some interface work on instant search · aa08196c
  Robin Appelman authored 13 years ago
  
  aa08196c