rem: if ("doAllowWindowOpen" in window) 
add: if ("onCheckboxCheck" in window) 
context:   function getCheckboxValue(name){    if ("doAllowWindowOpen" in window)      return document.getElementById(name).checked;    return data[name].checked;  }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d38a0937d9c93a0a9d913e2ac781e4328bb8cc73/pref-scripts.js/clean/xpfe/components/prefwindow/resources/content/pref-scripts.js