Closed TornaxO7 closed 3 years ago
no idea, your settings look correct, is it only the LSP that doesnt work?
no, I don't get any autocompletion at all. Hm... I'll try that again
did you run :COQnow
?
because the whole thing is lazy loaded and wont start unless you tell it to
please read the FAQ.
Oh ok, I just found out that the deps where missing "again", so it couldn't start. Hm... but I have this in my config:
let g:coq_settings = { 'auto_start': v:true}
please run :COQdeps
if you have received an update that requires it. those aren't super frequent though.
ok, I ran it now but how can I enable autostart? My setting above doesn't seem to work.
did you put
let g:coq_settings = { 'auto_start': v:true}
before the require("coq")
?
if you run :COQnow
this is what you should see.
oh, I didn't put this above require('coq')
... it works now, thanks!
yeah its in the faq, lol well hope you enjoy!
Oh god... I just found it....
This must be set BEFORE require("coq")
I'm sorry!
haha dw! glad to help
Hello! Thank you for this plugin!
I've a little problem. If I open a python file and start typing, then I don't get any autocompletion suggestion.
This is my setup:
What am I doing wrong?