rem: window.close(); 
add: return true; 
context: function doOK() { // Save the prefs try {  // Enumerate each checkbox on this page and save the value  var prefElements = document.getElementsByAttribute("prefstring", "*");  for (var i = 0; i < prefElements.length; i++) {    var element = prefElements[i];    var prefString = element.getAttribute("prefstring");    var prefValue = element.getAttribute("checked");    if (typeof(prefValue) == "string") {      prefValue = (prefValue == "true");    }    gPrefBranch.setBoolPref(prefString, prefValue);  }  gPrefService.savePrefFile(null); } catch(e) { } window.close();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/5936aeb292ee5ffa0db2ed904fb351b438822196/pref-ciphers.js/clean/security/manager/pki/resources/content/pref-ciphers.js