Issue 6952: HTML panel - search: Sometimes the search is not highlighted

https://code.google.com/p/fbug/issues/detail?id=6952