rem: setTimeout(function() { if (document.getElementById("highlight").checked) toggleHighlight(true); }, 0); 
add: setTimeout(function() { self.asyncUpdateUI(); }, 0); 
context:     setTimeout(function() { if (document.getElementById("highlight").checked) toggleHighlight(true); }, 0);
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/47ae4bc2411f4d8a41715c2a77fefbb1fdcc89b1/browser.js/buggy/browser/base/content/browser.js