mozilla/dxr — pull request #318 by erikrose (2014-08-22 04:59:12+00:00)
Title: Improve highlight API, fix an env-building bug, and finish TextFilter.

These are logically separate commits; I recommend reviewing them a commit at a time.