Support for Tabby

[dtrckd]

Tabby is great, could be cool if coq supported it
https://tabby.tabbyml.com/

[ms-jpq]

use the LSP :)

https://github.com/tabbyml/tabby/tree/main/clients/tabby-agent/

it does support it

[dtrckd]

Thanks, that is excellent.
I also see that nvim-lspconfig supported it !

Just one last question

• is there a way to refresh the completion list given that the tabby/ai generation is generally slower than coq ?
• is there a way to pass a given identifier to easily get which client propose a completion (like [TABBY] for ex) ?

Okay, two :>