m.setAttribute("label", strings.getString("menuOpenInTabs.label")); m.setAttribute("accesskey", strings.getString("menuOpenInTabs.accesskey")); 
m.setAttribute("label", strings.getString("menuOpenAllInTabs.label")); m.setAttribute("accesskey", strings.getString("menuOpenAllInTabs.accesskey")); 
HistoryMenu.populateUndoSubmenu = function PHM_populateUndoSubmenu() {  var undoPopup = document.getElementById("historyUndoPopup");  // remove existing menu items  while (undoPopup.hasChildNodes())    undoPopup.removeChild(undoPopup.firstChild);  // get closed-tabs from nsSessionStore  var ss = Cc["@mozilla.org/browser/sessionstore;1"].           getService(Ci.nsISessionStore);  // no restorable tabs, so make sure menu is disabled, and return  if (ss.getClosedTabCount(window) == 0) {    undoPopup.parentNode.setAttribute("disabled", true);    return;  }  // enable menu  undoPopup.parentNode.removeAttribute("disabled");  // populate menu  var undoItems = eval("(" + ss.getClosedTabData(window) + ")");  for (var i = 0; i < undoItems.length; i++) {    var m = undoPopup.appendChild(document.createElement("menuitem"));    m.setAttribute("label", undoItems[i].title);    m.setAttribute("value", i);    m.setAttribute("oncommand", "undoCloseTab(" + i + ");");    m.addEventListener("click", undoCloseMiddleClick, false);  }  // "open in tabs"  var strings = gNavigatorBundle;  undoPopup.appendChild(document.createElement("menuseparator"));  m = undoPopup.appendChild(document.createElement("menuitem"));  m.setAttribute("label", strings.getString("menuOpenInTabs.label"));  m.setAttribute("accesskey", strings.getString("menuOpenInTabs.accesskey"));  m.addEventListener("command", function() {    for (var i = 0; i < undoItems.length; i++)      undoCloseTab();  }, false);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/a0b9dfcbbc918967586cc1e20de13753b5ed6975/browser.js/clean/browser/base/content/browser.js