From c2dcb5e1d25f90694fb5ea93dfbc47ef3017eac5 Mon Sep 17 00:00:00 2001
From: Sashko Stubailo <sashko@mit.edu>
Date: Fri, 5 Dec 2014 15:43:37 -0800
Subject: [PATCH] Make escape key work in Safari for search

---
 docs/client/search.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/client/search.js b/docs/client/search.js
index 9e539b1549..884f05415b 100644
--- a/docs/client/search.js
+++ b/docs/client/search.js
@@ -11,13 +11,15 @@ Session.setDefault("searchOpen", false);
 Session.set("searchQuery", "");
 
 $(document).on("keydown", function (event) {
+  console.log(event);
   if (event.which === 27) {
     Session.set("searchOpen", false);
   }
 });
 
+var doNotOpenSearch = [13, 27, 32];
 $(document).on("keypress", function (event) {
-  if (event.which && (event.which !== 13) && (event.which !== 32)) {
+  if (event.which && (! _.contains(doNotOpenSearch, event.which))) {
     if (! Session.get("searchOpen")) {
       Session.set("searchOpen", true);