Jörn Friedrich Dreyer 818e7388c4 use correct spinner		2015-01-02 16:12:37 +01:00
..
ajax	move search results below filelist, show hint when results are off screen, use js plugin mechanism	2015-01-02 10:28:41 +01:00
css	do not hide search results when clicking, but hide on ESC	2015-01-02 14:46:35 +01:00
js	use correct spinner	2015-01-02 16:12:37 +01:00
templates	correctly update search results when query is changed, show spinner when searching	2015-01-02 14:22:48 +01:00