From 61869d7db19490b85ce5430c3ab45a134d8023cf Mon Sep 17 00:00:00 2001
From: Maxim Ermilov <zaspire@rambler.ru>
Date: Tue, 25 Jan 2011 02:38:16 +0300
Subject: [PATCH] Unselect search button if there is search result

https://bugzilla.gnome.org/show_bug.cgi?id=640464
---
 js/ui/searchDisplay.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/js/ui/searchDisplay.js b/js/ui/searchDisplay.js
index 45fccd6ea..3ed60ad5e 100644
--- a/js/ui/searchDisplay.js
+++ b/js/ui/searchDisplay.js
@@ -309,6 +309,8 @@ SearchResults.prototype = {
             this._statusText.set_text(_("No matching results."));
             this._statusText.show();
         } else {
+            this._selectedOpenSearchButton = -1;
+            this._updateOpenSearchButtonState();
             this._statusText.hide();
         }