diff options
| author | Ruben Beltran del Rio <ruben@unlimited.pizza> | 2024-02-01 09:34:37 +0000 |
|---|---|---|
| committer | Ruben Beltran del Rio <ruben@unlimited.pizza> | 2024-02-01 09:34:37 +0000 |
| commit | 2d56e8a7ae3a585804291c9935075e7068da4834 (patch) | |
| tree | 43124e3753c22011f329b0e1c23954f973654eab /config/nvim | |
| parent | 9f9934bad16668fcf0a768cdaa03383d73780e15 (diff) | |
Remove snippets warning in coq
Diffstat (limited to 'config/nvim')
| -rw-r--r-- | config/nvim/init.lua | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/config/nvim/init.lua b/config/nvim/init.lua index f705d37..26b7156 100644 --- a/config/nvim/init.lua +++ b/config/nvim/init.lua @@ -85,7 +85,14 @@ vim.keymap.set("n", "<c-P>", vim.g.vim_svelte_plugin_use_typescript = true -- Coq -vim.g.coq_settings = { auto_start = 'shut-up' } +vim.g.coq_settings = { + auto_start = 'shut-up', + clients = { + snippets = { + warn = {} + } + } +} -- Plugins require('plugins') |