coq-lsp icon indicating copy to clipboard operation
coq-lsp copied to clipboard

Published 20 hours ago • verified publisher icon ejgallego

Subscript numbers not working

Open Alizter opened this issue 2 years ago • 1 comments

When trying to type say suscript 2 \_2 pressing a number terminates the completion early giving the wrong result.

Alizter avatar Apr 02 '23 17:04 Alizter

Yes I noticed this, and it is annoying; not sure how to fix it without losing the very nice trigger for \alpha1 etc... symbols.

Maybe the protocol allows us to specify trigger chars more finely? I think VSCode API may, not sure about LSP.

ejgallego avatar Apr 03 '23 22:04 ejgallego