disable hotkey processing while searchbox is focused

1 files changed, 13 insertions, 0 deletions

diff --git a/functions.js b/functions.js
index 0b05ae2e8..f33b3970d 100644
--- a/functions.js
+++ b/functions.js
@@ -1,3 +1,13 @@
+var hotkeys_enabled = true;
+
+function disableHotkeys() {
+	hotkeys_enabled = false;
+}
+
+function enableHotkeys() {
+	hotkeys_enabled = true;
+}
+
 function notify_callback() {
 	var container = document.getElementById('notify');
 	if (xmlhttp.readyState == 4) {
@@ -56,8 +66,11 @@ function printLockingError() {
 var seq = "";
 
 function hotkey_handler(e) {
+
 	var keycode;
 
+	if (!hotkeys_enabled) return;
+
 	if (window.event) {
 		keycode = window.event.keyCode;
 	} else if (e) {