Option for case sensitive matching

[mauro3]

Regarding completion suggestions: lowercase matches both upper and lowercase, whereas uppercase only matches uppercase. Is there an option to make matching lower-case sensitive? I.e. typing \epsi would only match to \epsilon and not \Epsilon? Or if such an option does not exists, could that be considered for addition?

[pfitzseb]

Ref 6c84707 for the reasoning.

Basically, the assumption is that all lowercase input means that the user didn't make a conscious choice regarding casing because it's the default, whereas you had to click your shift key at some point if there's an upper case character.

We could for sure make this configurable, but can you clarify why you want this? Is it because your client doesn't do any sorting on its own and you get \Epsilon as the first suggestion?

[mauro3]

I get:

i.e. no sorting. So, I always have to press tab twice or several times. And yes, I would be fine if it was sorted with lowercase up top. Is this an editor issue? This is on Helix.

[pfitzseb]

No, this isn't an editor issue (or, not with Helix at least). Basically, LS.jl is getting away with not doing any real sorting because VS Code does matching client side and also makes it hard to enforce the language server prescribed sorting.

So yes, we should add server-side sorting and try to get VS Code to respect that.

[pfitzseb]

Ref https://github.com/aviatesk/JETLS.jl/blob/0460ac44cf75f0de25eb62f0ead249f5ac65fb93/src/completions.jl#L139 for how to work around the auto-sorting in VS Code.