when using copilot, the copilot completions still show up outside the coq menu

[jsholmes]

Is this the design? It seems like it would be better to disable the copilot completions or something? I just want to make sure I understand how this is supposed to work.

[jsholmes]

Seems like you could use https://github.com/zbirenbaum/copilot.lua to interface instead and this would get rid of the copilot native suggestions.

[ms-jpq]

lol now that copilot requires u to pay, i dont have access anymore :|

[ms-jpq]

seriously, tabnine is free, microsoft with the gazillion of dollars doesnt just throw us a bone

[guicanat]

Time to use https://github.com/Exafunction/codeium.vim 😃 It's free!
I simply replaced vim.fn["copilot#Accept"]() with vim.fn["codeium#Accept"]() in coq.thirdparty/lua/coq_3p/copilot/init.lua and it seems to almost do the trick except it adds a number at the begining of the line. Which seems to be the column position of the cursor at the time of accepting the completion.

Though, the codeium suggestions do not seem to integrate to the completion menu.