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 | 18 +++++++++++-------
 1 file changed, 11 insertions(+), 7 deletions(-)

diff --git a/functions.js b/functions.js
index 93592b1bb..1e28f1392 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");
-
-		if (cleanup) $("infoBoxShadow").innerHTML = "&nbsp;";
-
+	try {
 		enableHotkeys();
-	}
 
+		if (Element.visible("infoBoxShadow")) {
+			Element.hide("dialog_overlay");
+			Element.hide("infoBoxShadow");
+
+			if (cleanup) $("infoBoxShadow").innerHTML = "&nbsp;";
+		}
+	} catch (e) {
+		exception_error("closeInfoBox", e);
+	}
+	
 	return false;
 }