mirror of
https://github.com/elkowar/dots-of-war.git
synced 2025-04-05 14:23:31 +00:00
11 lines
392 B
Fennel
11 lines
392 B
Fennel
(module dots.plugins.coq-nvim
|
|
{autoload {utils dots.utils
|
|
coq coq}})
|
|
|
|
(set vim.g.coq_settings {:limits.completion_auto_timeout 1
|
|
:clients.lsp.weight_adjust 2
|
|
:clients.tree_sitter.enabled false
|
|
:display.icons.mode "short"})
|
|
|
|
|
|
(vim.cmd "autocmd! InsertEnter * COQnow --shut-up")
|