-
-
Notifications
You must be signed in to change notification settings - Fork 3.2k
New issue
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
Feature request for Case-Insensitive Filtering in completer extension #4567
Labels
Milestone
Comments
Are there any plans to implement this feature? Also, I imagine we would also want Case-Insensitive filtering to be optional. For languages like Python Case-Sensitive filtering might be preferred for some users because case matters in that language. Thanks, |
Yes, case sensitivity is important in Python, but case sensitivity in autocomplete is anti-human. My pinkie hurts! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hi,
I noticed a filtering feature is implemented with Case-Sensitive in completer extension.
For example, without using filtering I have following list:
But when I typed "t", I've got following...
I would like to make this filtering with Case-Insensitive and I am wondering if this feature can be implemented?
Thank you,
--Geonil
The text was updated successfully, but these errors were encountered: