Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Feature request for Case-Insensitive Filtering in completer extension #4567

Open
geonilpark opened this issue May 14, 2018 · 2 comments · May be fixed by #15949
Open

Feature request for Case-Insensitive Filtering in completer extension #4567

geonilpark opened this issue May 14, 2018 · 2 comments · May be fixed by #15949
Labels
enhancement pkg:completer
Milestone
Future

Comments

@geonilpark
Copy link

Hi,

I noticed a filtering feature is implemented with Case-Sensitive in completer extension.

For example, without using filtering I have following list:
image

But when I typed "t", I've got following...
image

I would like to make this filtering with Case-Insensitive and I am wondering if this feature can be implemented?

Thank you,
--Geonil
@blink1073 blink1073 added this to the Future milestone Sep 8, 2018
@adunlea
Copy link

adunlea commented Jul 15, 2019

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,
Allen

@GF-Huang
Copy link

Yes, case sensitivity is important in Python, but case sensitivity in autocomplete is anti-human. My pinkie hurts!

@krassowski krassowski linked a pull request Mar 8, 2024 that will close this issue
Case insensitive match for completion items filtering #15949
Draft
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement pkg:completer
Projects
None yet
Milestone
Future
Development

Successfully merging a pull request may close this issue.

Case insensitive match for completion items filtering christophediprima/jupyterlab
5 participants
@adunlea @blink1073 @GF-Huang @krassowski @geonilpark