rem: gURLBar.value = value; BrowserLoadURL(); 
add: loadShortcutOrURI(value); 
context: function executeUrlBarHistoryCommand( aTarget )  {    var index = aTarget.getAttribute("index");    var value = aTarget.getAttribute("value");    if (index != "nothing_available" && value)      {        gURLBar.value = value;        BrowserLoadURL();      }  }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/e1d6a58341fd8b143a692189c4022b6f3f19de8f/sessionHistoryUI.js/clean/xpfe/browser/resources/content/sessionHistoryUI.js