rem: else { viewPicker.selectedItem = viewPicker.getElementsByAttribute("value", aValue)[0]; viewChange(viewPicker, viewPicker.value); } 
add: ViewChange(aValue, label); 
context: function ViewChangeByValue(aValue){  var viewPicker = document.getElementById('viewPicker');  if (!viewPicker)    return;  if (aValue == -1)  {    viewPicker.selectedItem = null;    viewChange(viewPicker, -1);  }  else  {    viewPicker.selectedItem = viewPicker.getElementsByAttribute("value", aValue)[0];    viewChange(viewPicker, viewPicker.value);  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/41934e83c6a01c077de3feee1d5ab695cb0ba9c1/msgViewPickerOverlay.js/buggy/mailnews/extensions/mailviews/resources/content/msgViewPickerOverlay.js