xmlhttp.send(null);
disableHotkeys();
+
}
function infobox_submit_callback() {
}
-
+function toggleSubmitNotEmpty(e, submit_id) {
+ try {
+ document.getElementById(submit_id).disabled = (e.value == "")
+ } catch (e) {
+ exception_error("toggleSubmitNotEmpty", e);
+ }
+}