rem: gIgnoreFocus = true; gIgnoreClick = false; aElt.setSelectionRange(0, 0); 
add: if (aElt.hasAttribute("focused")) { gIgnoreClick = true; } else { gIgnoreFocus = true; gIgnoreClick = false; aElt.setSelectionRange(0, 0); } 
context: function URLBarMouseDownHandler(aEvent, aElt){  gIgnoreFocus = true;  gIgnoreClick = false;  aElt.setSelectionRange(0, 0);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/1b48277fa1a8e2124e271c575eac2557fc655060/minimo.js/clean/minimo/chrome/content/minimo.js