]> git.r.bdr.sh - rbdr/dotfiles/commitdiff
Remove snippets warning in coq
authorRuben Beltran del Rio <redacted>
Thu, 1 Feb 2024 09:34:37 +0000 (09:34 +0000)
committerRuben Beltran del Rio <redacted>
Thu, 1 Feb 2024 09:34:37 +0000 (09:34 +0000)
config/nvim/init.lua

index f705d37791bc6415b78f739534ee74c17866544b..26b7156b14ca1eeecae4995a5bfdbcf7e99a9d31 100644 (file)
@@ -85,7 +85,14 @@ vim.keymap.set("n", "<c-P>",
 vim.g.vim_svelte_plugin_use_typescript = true
 
 -- Coq
 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')
 
 -- Plugins
 require('plugins')