rem: enable_remove_button(); 
add: update_buttons(); 
context: function SelectActiveCharset(){   //Remove the selection in the available charsets list  var available_charsets = document.getElementById('available_charsets');  if (available_charsets.selectedItems.length > 0)      available_charsets.clearItemSelection();  enable_remove_button();} //SelectActiveCharset
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5372ebcfbeb551b343d5fdb2600cbdbd9069b292/pref-charset.js/buggy/suite/common/pref/pref-charset.js