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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/68b361d7aaa49afe2fbd2a492a84b522450e7608/pref-charset.js/clean/xpfe/components/prefwindow/resources/content/pref-charset.js