Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Add case sensitive capabilities to the searcher #230
I propose we add another checkbox to toggle case sensitive searching. We currently have no ability to search based off case, and by default it doesn't take case into account.
Why a checkbox? Adding it in settings would make it too difficult to reach for the user, and adding any default behavior would also make it more confusing. Imagine you cannot remember the case of a filename.