rem: gHighlightTimeout = setTimeout(function() { toggleHighlight(false); toggleHighlight(true); }, 500); 
add: setTimeout(function() { gFindBar.toggleHighlight(false); gFindBar.toggleHighlight(true); }, 500); 
context:   gHighlightTimeout = setTimeout(function() { toggleHighlight(false); toggleHighlight(true); }, 500);  
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/4149066af7da39b6efca582802d9d487cd096142/findBar.js/buggy/toolkit/components/typeaheadfind/content/findBar.js