From d5d44a31c098876c3c3ccf11029745896f800784 Mon Sep 17 00:00:00 2001
From: zendyani <zendyani@gmail.com>
Date: Wed, 28 Aug 2013 16:17:59 +0100
Subject: [PATCH] Add selection to previously entred search text when pressing
 search field shortcut (issue6334)

---
 extension/content/firebug/chrome/searchBox.js | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/extension/content/firebug/chrome/searchBox.js b/extension/content/firebug/chrome/searchBox.js
index e143d2de82..32d18506db 100644
--- a/extension/content/firebug/chrome/searchBox.js
+++ b/extension/content/firebug/chrome/searchBox.js
@@ -37,6 +37,7 @@ Firebug.Search = Obj.extend(Firebug.Module,
     {
         var el = document.activeElement;
         var id = el.id;
+        var doSearch = true;
 
         if (id == "fbPanelBar1-browser" || id == "fbPanelBar2-browser")
         {
@@ -49,11 +50,17 @@ Firebug.Search = Obj.extend(Firebug.Module,
                     sel = input.QueryInterface(Ci.nsIDOMNSEditableElement).
                         editor.selection.toString();
                 }
+                else
+                {
+                    doSearch = false;
+                }
             }
 
-            this.search(sel, Firebug.currentContext);
-            this.focus();
+            if (doSearch)
+                this.search(sel, Firebug.currentContext);
         }
+
+        this.focus();
     },
 
     search: function(text, context)