Skip to content

Latest commit

 

History

History
331 lines (191 loc) · 4.68 KB

File metadata and controls

331 lines (191 loc) · 4.68 KB

Sources

coq_settings.clients

coq_settings.clients.<x>.enabled

Enable source

default:

true

except for tabnine

coq_settings.clients.<x>.short_name

Source name to display in the completion menu.

Must be unique

default:

<name>
coq_settings.clients.<x>.weight_adjust

Weight adjustment for ranking, normalized to [0.5, 1.5] using S(x) = 1 / (1 + e^-x) + 0.5 (bigger weight -> sorted higher up)

S(0) = 1 no adjustment

S(-2) ~= 0.6 anything smaller has diminishing returns

S(+2) ~= 1.4 anything bigger has diminishing returns

default:

<preset float>
coq_settings.clients.<x>.always_on_top

Alright you guys keep asking this:

This setting will override all ranking metrics and keep the source always on top.

For sources other than LSP and third_party, the config is a boolean value.

default

false

For LSP and third_party, the config is either null or ["<lsp/client_name_1>", "<lsp/client_name_2>", ...].

The empty [] will keep all clients on top regardless of lsp client names.

default

null

coq_settings.clients.lsp

coq_settings.clients.lsp.ignored_servers

Which LSP servers to ignore.

default:

[]
coq_settings.clients.lsp.resolve_timeout

Time it takes to wait for LSP servers to respond with header import before edit is applied.

default:

0.06

coq_settings.clients.lsp_inline

coq_settings.clients.lsp_inline.ignored_servers

Which LSP servers to ignore.

default:

[]

coq_settings.clients.tags

coq_settings.clients.tags.parent_scope

Aesthetics only, parent indicator.

default:

""
coq_settings.clients.tags.path_sep

Aesthetics only, path separator.

default:

""

coq_settings.clients.snippets

coq_settings.clients.snippets.user_path

Additional snippet load path, if relative, resolves under nvim config dir.

default:

null
coq_settings.clients.snippets.warn

List of things to issue an warning about.

Default is to nag about out of date snippets.

default:

["missing", "outdated"]

coq_settings.clients.paths

coq_settings.clients.paths.resolution

For relative paths, what should their potential base path(s) be.

  • cwd: current working directory

  • file: the current file's parent directory

default:

["cwd", "file"]
coq_settings.clients.paths.path_seps

Which separator chars to use. Empty for default. Must be / under unix and / or \ for windows.

default:

[]
coq_settings.clients.paths.preview_lines

Try to preview this many lines.

default:

6

coq_settings.clients.tree_sitter

coq_settings.clients.tree_sitter.slow_threshold

Send out a warning if treesitter is slower than this

default:

0.1
coq_settings.clients.tree_sitter.path_sep

Aesthetics only, path separator.

default:

""

coq_settings.clients.buffers

coq_settings.clients.buffers.match_syms

Also match symbols in addition to words.

default:

false
coq_settings.clients.buffers.same_filetype

Restrict matching to buffers of the same filetype

default:

false

coq_settings.clients.registers

coq_settings.clients.registers.match_syms

Also match symbols in addition to words.

default:

false
coq_settings.clients.registers.max_yank_size

For the yank register: 0. Ignore contents if size exceeds limit.

default:

8888
coq_settings.clients.registers.words

Complete from contents of registers.

0 is the "last yank" register.

Can also take in named registers a-z.

default:

["0"]
coq_settings.clients.registers.lines

Complete lines from contents of registers a-z.

Will only match at beginning of lines.

default:

[]

coq_settings.clients.tmux

coq_settings.clients.tmux.match_syms

Also match symbols in addition to words.

default:

false
coq_settings.clients.tmux.all_sessions

Pull words & symbols from not just current session.

default:

true

coq_settings.clients.tabnine

No special conf.

But Disabled by default. Need coq_settings.clients.tabnine=true to enable.


coq_settings.clients.third_party

No special conf.

See :COQhelp custom_sources