Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Manual completion error #679

Open
4f48 opened this issue Jan 24, 2025 · 5 comments
Open

Manual completion error #679

4f48 opened this issue Jan 24, 2025 · 5 comments

Comments

@4f48
Copy link

4f48 commented Jan 24, 2025

Greetings,
I just wanted to try out coq_nvim, however I'm facing some problems with getting started. If I'd like to use manual completion, upon pressing CTRL + Space I get the following error: -- User defined completion (^U^N^P) Pattern not found. The plugin seems to be functioning correctly otherwise. I'm running Fedora 41, with python3-virtualenv installed. I'd appreciate if someone could help me out.

@TheLeoP
Copy link
Contributor

TheLeoP commented Feb 1, 2025

What does :verbose map <c-space> show?

@4f48
Copy link
Author

4f48 commented Feb 1, 2025

I got this:

n  <C-Space>   * <C-\><C-N>i<C-X><C-U>                                                                                                                                           
        Last set from API client (channel id 0)                                                                                                                                          
v  <C-Space>   * <C-\><C-N>i<C-X><C-U>                                                                                                                                                   
        Last set from API client (channel id 0)

@TheLeoP
Copy link
Contributor

TheLeoP commented Feb 1, 2025

And what does :verbose set completefunc? show?

@4f48
Copy link
Author

4f48 commented Feb 1, 2025

It shows completefunc=v:lua.COQ.Omnifunc

@ms-jpq
Copy link
Owner

ms-jpq commented Feb 5, 2025

will fix this by today or tmr 👍 , so sorry for the delay, im honestly dying irl from amount of work

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants