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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/48b90c32357104d6984ad568a01e4a0d86fd530d/findBar.js/clean/toolkit/components/typeaheadfind/content/findBar.js