nijel/weblate — pull request #269 by ChrisOelmueller (2013-05-03 09:08:26+00:00)
Title: Highlight search results

Highlights search results in source and context fields.
Styling up to you, the yellow was a proof of concept :)
Capitalization is taken care of a bit clumsily, not seeing a better way there currently.

Fixes #42