From 291d8c73f80e98fae9f858a9118409d546ebe640 Mon Sep 17 00:00:00 2001
From: Robin Appelman <icewind1991@gmail.com>
Date: Sun, 31 Jul 2011 02:05:07 +0200
Subject: [PATCH] dont hide the results if a new search yield no results

---
 search/js/result.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/search/js/result.js b/search/js/result.js
index cb5ec31cd3..5ccc42252b 100644
--- a/search/js/result.js
+++ b/search/js/result.js
@@ -16,6 +16,9 @@ OC.search.hide=function(){
 	};
 }
 OC.search.showResults=function(results){
+	if(results.length==0){
+		return;
+	}
 	if(!OC.search.showResults.loaded){
 		var parent=$('<div/>');
 		$('body').append(parent);
-- 
GitLab