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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/20bec7d6de0175d23d3bc33dd4658764b2e4afbf/navigator.js/clean/xpfe/browser/resources/content/navigator.js