rem: gMailView.mailViewName = dialog.nameField.value; 
add:  if (gMailView.prettyName != dialog.nameField.value) gMailView.mailViewName = dialog.nameField.value; 
context: function onOK(){  var mailViewList = Components.classes["@mozilla.org/messenger/mailviewlist;1"].getService(Components.interfaces.nsIMsgMailViewList);    // reflect the search widgets back into the search session  var newMailView = null;  if (gMailView)  {    saveSearchTerms(gMailView.searchTerms, gMailView);    gMailView.mailViewName = dialog.nameField.value;  }  else    {    // otherwise, create a new mail view     newMailView = mailViewList.createMailView();    saveSearchTerms(newMailView.searchTerms, newMailView);    newMailView.mailViewName = dialog.nameField.value;    // now add the mail view to our mail view list    mailViewList.addMailView(newMailView);  }      mailViewList.save();   if (dialog.okCallback)    dialog.okCallback(gMailView ? gMailView : newMailView);  return true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/970b2de485ee0d74e18a3ed40554ab6616bb291b/mailViewSetup.js/buggy/mailnews/extensions/mailviews/resources/content/mailViewSetup.js