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.

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

allow case insensitive code completion #249

Open
doofin opened this issue Jan 24, 2022 · 2 comments
Open

allow case insensitive code completion #249

doofin opened this issue Jan 24, 2022 · 2 comments

Comments

@doofin
Copy link

doofin commented Jan 24, 2022

Is your feature request related to a problem? Please describe.

Currently, code completion is case sensitive. It might be nice if case insensitive code completion is also supported

Describe the solution you'd like

Add an option to allow case insensitive code completion

Describe alternatives you've considered

not yet

Additional contex

No response

Search terms

code completion

please click thumps up icon below to support !

@NekoiNemo
Copy link

NekoiNemo commented Dec 9, 2022

This is quite a bit of inconvenience in projects with large functions/classes, where you might necessarily remember the beginning of the name of a specific parameter/variable, only it's middle part, and with file being too large to be able to easily look it up.

And entering just that part of the name you remember makes Metals come up with nothing (which would not be the case if case-insensitive suggestions were a thing), while entering it capitalised might make it show up, but will also fill the suggestions with countless types (since they are the identifiers that are expected to start with a capital letter in Scala).

To illustrate the point:
screenshot_1670582879
screenshot_1670582884

P.S. In the similar way case sensitivity makes it harder to discover (for example when using an external lib you're unfamiliar with, especially a Java ones that are often riddled with consts) and use constants as you need to remember/know them to be such and enter their name capitalised

@tgodzik
Copy link
Contributor

tgodzik commented Dec 9, 2022

That's a valid point! I think this might be good to improve, I recommend voting on the issue to make it more visible with 👍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants