Auto-refresh completion results about coq_nvim

[Shougo]

coq.nvim has auto timeout.

coq_nvim/docs/MISC.md

Line 27 in becbd35

#### `coq_settings.limits.completion_auto_timeout`

[epixinvites]

coq.nvim has auto timeout.

coq_nvim/docs/MISC.md

Line 27 in becbd35

#### `coq_settings.limits.completion_auto_timeout`

So do I have to set the timeout higher? or lower?

[Shougo]

It should be higher.

[epixinvites]

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 too low? What should I set it to?

Another thing, after manually overriding the limits.completion_auto_timeout, now C-Space does not work anymore. It gives me Option 'completeFunc' is not setwhen I press C-Space instead.

[Shougo]

coq_nvim/config/defaults.yml

Line 195 in becbd35

completion_manual_timeout: 0.66

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 Option 'completeFunc' is not setwhen I press C-Space instead.

I don't know why.

[epixinvites]

coq_nvim/config/defaults.yml

Line 195 in becbd35

completion_manual_timeout: 0.66

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 Option 'completeFunc' is not setwhen I press C-Space instead.

I don't know why.

Wait, but the value you overrode was the manual_timeout,

coq.nvim has auto timeout.

coq_nvim/docs/MISC.md

Line 27 in becbd35

#### `coq_settings.limits.completion_auto_timeout`

but you referenced the auto_timeout here?

[Shougo]

Yes. It is referenced by FAQ.

[epixinvites]

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.

vim.g.coq_settings = {
	["clients.snippets.warn"] = {"outdated"},
	["display.ghost_text.enabled"] = false,
	["clients.tabnine.enabled"] = false,
	["clients.buffers.same_filetype"] = true,
	["limits.completion_auto_timeout"] = 0.66,
	["keymap.recommended"] = false,
}

Can't I just trigger C-Space every time I hit a new letter?