rem: setTimeout(function() { if (document.getElementById("highlight").checked) toggleHighlight(true); }, 0); 
add: m.addEventListener("command", function() { for (var i = 0; i < undoItems.length; i++) undoCloseTab(); }, false); 
context:     setTimeout(function() { if (document.getElementById("highlight").checked) toggleHighlight(true); }, 0);
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/091413037dec83174bfc731787e60735aca979da/browser.js/clean/browser/base/content/browser.js