Andreas Tolfsen ❲:ato❳ Reporter
	Description • 10 years ago

If you do a dxr search, e.g. http://dxr.mozilla.org/mozilla-central/search?q=File.jsm&=mozilla-central&redirect=true, the case sensitivity checkbox is checked even if the URL parameter "case" isn't set.

It should not be checked because the search results aren't case sensitive.

	Erik Rose [:erik][:erikrose]
	Comment 1 • 10 years ago

Hmm, that's not right. Thanks for the report!

	Aditya Sridhar
	Comment 2 • 9 years ago

Hey guys,

I'd like to work on this issue. Can somebody with bug editing privileges assign this to me?

Thanks

	nallaarun
	Comment 3 • 9 years ago

The bug is still not fixed. Can I work on this?

	Erik Rose [:erik][:erikrose]
	Comment 4 • 9 years ago

Actually, we're going to delete the Case Sensitive checkbox altogether. Thanks for reminding me to close this. Here are some other bugs you can grab if you want to contribute: https://wiki.mozilla.org/DXR#Contributing.