mozilla/dxr — pull request #32 by abbeyj (2012-10-08 19:03:33+00:00)
Title: Fix for dollar signs in source code and better results for warnings

Fix formatting of incremental search results when the matching source code contains a dollar sign.
Add support for extents for warnings.