@ -209,7 +209,10 @@ function hotkey_handler(e) {
}
if (!hotkeys_enabled) return;
if (!hotkeys_enabled) {
debug("hotkeys disabled");
return;
if (window.event) {
keycode = window.event.keyCode;
@ -634,8 +634,6 @@ function catchupCurrentFeed() {
function editFeedDlg(feed) {
try {
disableHotkeys();
if (!feed) {
alert(__("Please select some feed first."));
@ -654,6 +652,8 @@ function editFeedDlg(feed) {
query = "backend.php?op=pref-labels&subop=edit&id=" + param_escape(-feed-11);
new Ajax.Request(query, {
onComplete: function(transport) {
infobox_callback2(transport);