rem: save_button.setAttribute('disabled',''); 
add: if (list_unchanged) { save_button.setAttribute('disabled','true'); } else { save_button.setAttribute('disabled',''); } 
context: function enableSave() {  var save_button = document.getElementById('save_button');  save_button.setAttribute('disabled','');  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/6807d7b659cc94984499b7f88a81dd280d765cf8/customize.js/buggy/xpfe/components/sidebar/resources/customize.js