rem: dump("updating button\n"); } else { dump("could not find button\n"); 
context: function UpdateSaveButton(modified){  var saveButton = document.getElementById("saveButton");   if (saveButton)  {    if (modified) {      saveButton.setAttribute("src", "chrome://editor/skin/images/ED_SaveMod.gif");    } else {      saveButton.setAttribute("src", "chrome://editor/skin/images/ED_SaveFile.gif");    }    dump("updating button\n");  }  else  {    dump("could not find button\n");  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/5986ab59396a3071965154ed4499fa5a734750cd/editor.js/clean/editor/ui/composer/content/editor.js