From 4cf6fc6afba5b1b463d839db517ca45c65ce9520 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@bah.spb.su>
Date: Sat, 17 May 2008 04:11:51 +0100
Subject: [PATCH] pref search boxes: disable hotkeys on input

---
 modules/pref-feeds.php   | 2 ++
 modules/pref-filters.php | 2 ++
 modules/pref-labels.php  | 2 ++
 3 files changed, 6 insertions(+)

diff --git a/modules/pref-feeds.php b/modules/pref-feeds.php
index 86da84bb..e52e54c8 100644
--- a/modules/pref-feeds.php
+++ b/modules/pref-feeds.php
@@ -852,6 +852,8 @@
 
 		print "<div class=\"feedEditSearch\">
 			<input id=\"feed_search\" size=\"20\" type=\"search\"
+				onfocus=\"javascript:disableHotkeys();\" 
+				onblur=\"javascript:enableHotkeys();\"
 				onchange=\"javascript:updateFeedList()\" value=\"$feed_search\">
 			<input type=\"submit\" class=\"button\" 
 				onclick=\"javascript:updateFeedList()\" value=\"".__('Search')."\">
diff --git a/modules/pref-filters.php b/modules/pref-filters.php
index 60fec217..fcd04de7 100644
--- a/modules/pref-filters.php
+++ b/modules/pref-filters.php
@@ -230,6 +230,8 @@
 
 		print "<div class=\"feedEditSearch\">
 			<input id=\"filter_search\" size=\"20\" type=\"search\"
+				onfocus=\"javascript:disableHotkeys();\" 
+				onblur=\"javascript:enableHotkeys();\"
 				onchange=\"javascript:updateFilterList()\" value=\"$filter_search\">
 			<input type=\"submit\" class=\"button\" 
 			onclick=\"javascript:updateFilterList()\" value=\"".__('Search')."\">
diff --git a/modules/pref-labels.php b/modules/pref-labels.php
index 7cdde483..61795227 100644
--- a/modules/pref-labels.php
+++ b/modules/pref-labels.php
@@ -226,6 +226,8 @@
 
 		print "<div class=\"feedEditSearch\">
 			<input id=\"label_search\" size=\"20\" type=\"search\"
+				onfocus=\"javascript:disableHotkeys();\" 
+				onblur=\"javascript:enableHotkeys();\"
 				onchange=\"javascript:updateLabelList()\" value=\"$label_search\">
 			<input type=\"submit\" class=\"button\" 
 				onclick=\"javascript:updateLabelList()\" value=\"".__('Search')."\">
-- 
2.39.5