_infscroll_request_sent = timestamp;
}
- enableHotkeys();
hideAuxDlg();
closeInfoBox();
-var hotkeys_enabled = true;
var notify_silent = false;
var loading_progress = 0;
var sanity_check_done = false;
return msg;
}
-
-function disableHotkeys() {
- hotkeys_enabled = false;
-}
-
-function enableHotkeys() {
- hotkeys_enabled = true;
-}
-
function param_escape(arg) {
if (typeof encodeURIComponent != 'undefined')
return encodeURIComponent(arg);
if (Element.visible("errorBoxShadow")) {
Element.hide("dialog_overlay");
Element.hide("errorBoxShadow");
-
- enableHotkeys();
}
return false;
function closeInfoBox(cleanup) {
try {
- enableHotkeys();
-
dialog = dijit.byId("infoBox");
if (dialog) dialog.hide();
function pref_hotkey_handler(e) {
try {
-
- if (dijit.getEnclosingWidget(e.target)) return;
+ if (e.target.nodeName == "INPUT") return;
var keycode;
var shift_key = false;
closeInfoBox();
}
- var dialog = dijit.byId("infoBox");
- var dialog_visible = false;
-
- if (dialog)
- dialog_visible = Element.visible(dialog.domNode);
-
- if (dialog_visible || !hotkeys_enabled) {
- console.log("hotkeys disabled");
- return;
- }
-
if (keycode == 16) return; // ignore lone shift
if (keycode == 17) return; // ignore lone ctrl
}
function hotkey_handler(e) {
-
try {
- var widget = dijit.getEnclosingWidget(e.target);
- if (widget && Element.visible(widget.domNode)) return;
+ if (e.target.nodeName == "INPUT") return;
var keycode;
var shift_key = false;
closeInfoBox();
}
- var dialog = dijit.byId("infoBox");
- var dialog_visible = false;
-
- if (dialog)
- dialog_visible = Element.visible(dialog.domNode);
-
- if (dialog_visible || !hotkeys_enabled) {
- console.log("hotkeys disabled");
- return;
- }
-
if (keycode == 16) return; // ignore lone shift
if (keycode == 17) return; // ignore lone ctrl
console.log("cache check result: " + (cached_article != false));
- enableHotkeys();
hideAuxDlg();
var query = "?op=view&id=" + param_escape(id);