rem: var save_button = document.getElementById('ok'); 
add: var save_button = document.documentElement.getButton("accept"); 
context: function enable_save(){  var save_button = document.getElementById('ok');  save_button.removeAttribute('disabled');}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/ba3d9a1f51f5a6ddba83668eec69e5bec2027f51/pref-charset.js/clean/suite/common/pref/pref-charset.js