context: function ShowAndSelectContentsOfURLBar(){  var navBar = document.getElementById("nav-bar");    // If it's hidden, show it.  if (navBar.getAttribute("hidden") == "true")    goToggleToolbar('nav-bar','cmd_viewnavbar');   if (gURLBar.value)    gURLBar.select();  else    gURLBar.focus();}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/8d9c5a22178d3f4d26f689f82264fd3cdd8a8f9a/navigator.js/buggy/xpfe/browser/resources/content/navigator.js