return s;
}
-function closeInfoBox() {
+function closeInfoBox(cleanup) {
var box = document.getElementById('infoBox');
var shadow = document.getElementById('infoBoxShadow');
box.style.display = "none";
}
+ if (cleanup) box.innerHTML = " ";
+
enableHotkeys();
}
xmlhttp.send(null);
}
+function filterCR(e)
+{
+ var key;
+
+ if(window.event)
+ key = window.event.keyCode; //IE
+ else
+ key = e.which; //firefox
+
+ if(key == 13)
+ return false;
+ else
+ return true;
+}
+