rem: addToUrlbarHistory(); 
add: addToUrlbarHistory(gURLBar.value); 
context: function executeUrlBarHistoryCommand( aTarget )  {    var index = aTarget.getAttribute("index");    var label = aTarget.getAttribute("label");    if (index != "nothing_available" && label)      {        if (gURLBar) {          gURLBar.value = label;          addToUrlbarHistory();          BrowserLoadURL();        } else {          var uri = getShortcutOrURI(label);          loadURI(uri);        }      }  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/0349c6c129354cff2f561c7888dd71fa2651ec50/sessionHistoryUI.js/clean/suite/browser/sessionHistoryUI.js