We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
aprasad created the issue
Hello
I noticed in the new builds, the search feature has become case sensitive, and there is no option to remove case sensitivity in preferences.
Is it possible to not make the search case sensitive, or add an option in preferences to turn case sensitivity on or off..
much appreciated, thanks!
The text was updated successfully, but these errors were encountered:
@dkocher commented
3e67573.
Sorry, something went wrong.
dkocher
No branches or pull requests
Hello
I noticed in the new builds, the search feature has become case sensitive, and there is no option to remove case sensitivity in preferences.
Is it possible to not make the search case sensitive, or add an option in preferences to turn case sensitivity on or off..
much appreciated, thanks!
The text was updated successfully, but these errors were encountered: