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