Zhi Ping
Zhi Ping
> It should be higher. I've set it the value to 0.2, I start seeing some more relevant results, but it's still omitting quite a lot of results. Is 0.2...
> https://github.com/ms-jpq/coq_nvim/blob/becbd35ff334cc7254c7dc990a7b2a83458b9905/config/defaults.yml#L195 > > manual_timeout is 0.66. So 0.2 is low. > > > Another thing, after manually overriding the limits.completion_auto_timeout, now C-Space does not work anymore. It gives me...
This is my new configuration, now not only are some results still omitted, C-Space doesn't work anymore due to `Option 'completeFunc' is not set`. ```lua vim.g.coq_settings = { ["clients.snippets.warn"] =...
I have also encountered this problem. Clearing cookies nor running it in incognito is able to solve the problem.
@gf-mse if it works on Linux, please upload it. Thanks!
@apankrat is it possible for you to like create a simple C++ command line version of the backup-agent?
+1 too, I hope to see something like an option that auto archives cards after it has been moved into a column for >7/14/21/28 days and a toggle to see...