From 089cd56e00fff6a664d10710e95ffccf6762f12f Mon Sep 17 00:00:00 2001
From: Hendrik Leppelsack <hendrik@leppelsack.de>
Date: Mon, 21 Sep 2015 11:01:19 +0200
Subject: [PATCH] add Ctrl+F shortcut for the search bar

---
 core/search/js/search.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/core/search/js/search.js b/core/search/js/search.js
index 4e83a070170..92cf034cf7d 100644
--- a/core/search/js/search.js
+++ b/core/search/js/search.js
@@ -343,6 +343,13 @@
 				}
 			});
 
+			$(document).keydown(function(event) {
+				if ((event.ctrlKey || event.metaKey) && !event.shiftKey && event.keyCode === 70) { // Ctrl+F
+					$searchBox.focus();
+					event.preventDefault();
+				}
+			});
+
 			$searchResults.on('click', 'tr.result', function (event) {
 				var $row = $(this);
 				var item = $row.data('result');
-- 
GitLab