diff options
Diffstat (limited to 'functions.js')
-rw-r--r-- | functions.js | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/functions.js b/functions.js index 935740b94..8e02b7932 100644 --- a/functions.js +++ b/functions.js @@ -1,4 +1,3 @@ -var hotkeys_enabled = true; var notify_silent = false; var loading_progress = 0; var sanity_check_done = false; @@ -84,15 +83,6 @@ function format_exception_error(location, e) { return msg; } - -function disableHotkeys() { - hotkeys_enabled = false; -} - -function enableHotkeys() { - hotkeys_enabled = true; -} - function param_escape(arg) { if (typeof encodeURIComponent != 'undefined') return encodeURIComponent(arg); @@ -398,8 +388,6 @@ function closeErrorBox() { if (Element.visible("errorBoxShadow")) { Element.hide("dialog_overlay"); Element.hide("errorBoxShadow"); - - enableHotkeys(); } return false; @@ -407,8 +395,6 @@ function closeErrorBox() { function closeInfoBox(cleanup) { try { - enableHotkeys(); - dialog = dijit.byId("infoBox"); if (dialog) dialog.hide(); |