rem:  gSearchInput.select(); 
add:  if (gIgnoreFocus) gIgnoreFocus = false; else gSearchInput.select(); 
context: function onSearchInputFocus(event){  // search bar has focus, ...clear the showing search criteria flag  if (gSearchInput.showingSearchCriteria)  {    gSearchInput.value = "";    gSearchInput.showingSearchCriteria = false;  }  gSearchInput.select();}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/fe2a42819a85afc5f360ce5fa4cf097cfd1ef0c0/searchBar.js/clean/mail/base/content/searchBar.js