aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/nvim/init.lua9
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')