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: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/ff1781c0108d64cf3143ad31730e2dee2bea6728/pref-charset.js/buggy/suite/common/pref/pref-charset.js