From 2c2d18bc7a875beee068bc1776cd4dab25fa971c Mon Sep 17 00:00:00 2001
From: Steve Howell <steve@zulip.com>
Date: Tue, 19 Nov 2013 13:23:41 -0500
Subject: [PATCH] Allow search hotkey to work from outside the home tab.

(imported from commit 9b8944ce57a6b7466e7b115258e2501afd7cb5b1)
---
 static/js/hotkey.js | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/static/js/hotkey.js b/static/js/hotkey.js
index b72fbf7a23..88c468d598 100644
--- a/static/js/hotkey.js
+++ b/static/js/hotkey.js
@@ -115,9 +115,7 @@ function process_hotkey(e) {
         }
     }
 
-    // Disable hotkeys on settings page etc., and when a modal pop-up
-    // is visible.
-    if (ui.home_tab_obscured()) {
+    if (ui.home_tab_obscured() && event_name !== 'search') {
         return false;
     }