Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix regression in highlighting quicksearch results
escapeHTML() is needed, since the data to search is necessarily already HTML encoded (or else it would be impossible to add the SPAN tags). This broke searches for things like, for example, '<foo>'.
- Loading branch information