From 588e4dc3d36be03ab404779ee98d97e07f9863c8 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@bah.org.ru>
Date: Thu, 8 Oct 2009 12:36:27 +0400
Subject: [PATCH] closeInfoBox: always enable hotkeys

---
 functions.js | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

diff --git a/functions.js b/functions.js
index 93592b1b..1e28f139 100644
--- a/functions.js
+++ b/functions.js
@@ -1288,15 +1288,19 @@ function closeErrorBox() {
 
 function closeInfoBox(cleanup) {
 
-	if (Element.visible("infoBoxShadow")) {
-		Element.hide("dialog_overlay");
-		Element.hide("infoBoxShadow");
+	try {
+		enableHotkeys();
 
-		if (cleanup) $("infoBoxShadow").innerHTML = "&nbsp;";
+		if (Element.visible("infoBoxShadow")) {
+			Element.hide("dialog_overlay");
+			Element.hide("infoBoxShadow");
 
-		enableHotkeys();
+			if (cleanup) $("infoBoxShadow").innerHTML = "&nbsp;";
+		}
+	} catch (e) {
+		exception_error("closeInfoBox", e);
 	}
-
+	
 	return false;
 }
 
-- 
2.39.2