$feed_last_updated = "Updated: " . $line["last_updated"];
print "<tr><td class=\"search\" colspan=\"3\">
- Search: <input id=\"searchbox\" onchange=\"javascript:search($feed);\">
+ Search: <input id=\"searchbox\"
+ onblur=\"javascript:enableHotkeys()\" onfocus=\"javascript:disableHotkeys()\"
+ onchange=\"javascript:search($feed);\">
<a class=\"button\" href=\"javascript:resetSearch()\">Reset</a>
</td></tr>";
print "<tr>
+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) {
var seq = "";
function hotkey_handler(e) {
+
var keycode;
+ if (!hotkeys_enabled) return;
+
if (window.event) {
keycode = window.event.keyCode;
} else if (e) {