rem: var viewPicker = document.getElementById('viewPicker');  if (!viewPicker) return;  if (aValue == -1) 
add: var label = ""; var viewPickerPopup = document.getElementById("viewPickerPopup"); if (viewPickerPopup) 
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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5a378409fd0a082647f8daa48716af7c487aa2a7/msgViewPickerOverlay.js/buggy/mailnews/extensions/mailviews/resources/content/msgViewPickerOverlay.js