From fd61b7b4d8f39738dfe019a4f757606e28f3a4d7 Mon Sep 17 00:00:00 2001 From: Ruben Beltran del Rio Date: Mon, 29 Jan 2024 16:40:55 +0000 Subject: Restore tab completion and diff colors --- config/nvim/init.lua | 3 +++ 1 file changed, 3 insertions(+) (limited to 'config/nvim/init.lua') diff --git a/config/nvim/init.lua b/config/nvim/init.lua index e3e6427..f705d37 100644 --- a/config/nvim/init.lua +++ b/config/nvim/init.lua @@ -84,6 +84,9 @@ vim.keymap.set("n", "", -- Svelte Config vim.g.vim_svelte_plugin_use_typescript = true +-- Coq +vim.g.coq_settings = { auto_start = 'shut-up' } + -- Plugins require('plugins') require('treesitter_config') -- cgit