Unicode completion only partially works

[thojDufour]

When trying to use Unicode characters in the buffer, most of them works except for the subscripts.

\^1<TAB> will return ¹
\_1<TAB> will return \_1 instead of ₁

Due to the auto-completion not being case sensitive,
\alpha<TAB> will return Α (capital alpha) instead of α

[Pangoraw]

This seems to be a problem in zed zed-industries/zed#10926

I cannot reproduce the problem with \_1<tab> -> ₁.

[thojDufour]

Indeed the issue with \_1<tab> -> ₁ appear to have been solved . It might also have been the language server crashing. It's happening quite often on my machine.
Good to know about the case sensitivity thanks.

[lehoff]

I have \alpha giving a choice of capital and regular alpha, but _ instantly gives the error message:

Missing reference: _

so I cannot get to the subscripts.

Zed 0.161.2
Julia extension: v0.1.8

[piechologist]

Zed 0.161.2

Zed stable is currently at 0.209 and I can't repro the error message. Please update Zed because the language server integration is much more robust these days.

What exactly do you want to enter? There is no \_alpha in the Julia documentation nor a subscript α in the REPL.

[celestin-lecasble]

On my side, I’m still struggling with the capitalization of Greek letters in Zed. When I type \psi, it always defaults to the uppercase version Ψ instead of the lowercase ψ, forcing me to manually select the correct option from the list each time.

This significantly slows down my writing speed and leads to frequent errors in my code, especially with θ, since the uppercase and lowercase versions look very similar.

Zed 0.212.7
Julia extension: v0.1.8

[piechologist]

capitalization of Greek letters in Zed

Yes, the REPL does it right but there are two issues here we can't fix in this extension.

For instance, type \pi and the LS suggests \\Pi, \\pitchfork, \\pisces, and \\pi in this order (you can watch the LSP logs in Zed). Zed seems to sort the list alphabetically/uppercase first (Pi, pi, pisces, pitchfork). So, even if LanguageServer.jl responded in the expected order Zed would mess that up.

[lehoff]

Got zed updated in Nix (was painful) but now it works. Thx!