-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();