1 files changed, 12 insertions, 0 deletions
diff --git a/prefs.js b/prefs.js
index 1e84d7a2e..d1f3fc075 100644
--- a/prefs.js
+++ b/prefs.js
@@ -1756,6 +1756,18 @@ function pref_hotkey_handler(e) {
 				return;
 			}
 
+			if (keycode == 191) { // /
+				var search_boxes = new Array("label_search", 
+					"feed_search", "filter_search", "user_search");
+
+				for (var i = 0; i < search_boxes.length; i++) {
+					var elem = document.getElementById(search_boxes[i]);
+					if (elem) {
+						return focus_element(search_boxes[i]);
+					}
+				}
+
+			}
 		}
 
 		/* Prefix c */