mozilla/dxr — pull request #241 by nick29581 (2014-02-09 01:46:45+00:00)
Title: make search from the context menu case sensitive

Because you are generally searching for an identifier then, it's just that DXR hasn't indexed it for some reason, so case sensitive makes sense (I think).

Sorry the PR is a bit borked, I blame the merge from master to UI. The important change is a simple one-liner so should be easy enough to merge.