diff options
-rw-r--r-- | modules/pref-feeds.php | 2 | ||||
-rw-r--r-- | modules/pref-filters.php | 2 | ||||
-rw-r--r-- | modules/pref-labels.php | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/modules/pref-feeds.php b/modules/pref-feeds.php index 86da84bb4..e52e54c8a 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 60fec2174..fcd04de73 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 7cdde4832..617952270 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')."\"> |