rem: function addToUrlbarHistory() 
add: function addToUrlbarHistory(aUrlToAdd) 
context: function addToUrlbarHistory(){  var urlToAdd = gURLBar.value;  if (!urlToAdd)     return;  if (urlToAdd.search(/[\x00-\x1F]/) != -1) // don't store bad URLs     return;  if (!gGlobalHistory)    gGlobalHistory = Components.classes["@mozilla.org/browser/global-history;2"]                               .getService(Components.interfaces.nsIBrowserHistory);  if (!gURIFixup)    gURIFixup = Components.classes["@mozilla.org/docshell/urifixup;1"]                          .getService(Components.interfaces.nsIURIFixup);   try {     if (urlToAdd.indexOf(" ") == -1) {       var fixedUpURI = gURIFixup.createFixupURI(urlToAdd, 0);       gGlobalHistory.markPageAsTyped(fixedUpURI);     }   }   catch(ex) {   }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/3be669f8a7911c4e66b6e8acd052e0635f4368b4/browser.js/clean/browser/base/content/browser.js