diff options
| author | Ruben Beltran del Rio <ruben@unlimited.pizza> | 2024-01-29 16:40:55 +0000 |
|---|---|---|
| committer | Ruben Beltran del Rio <ruben@unlimited.pizza> | 2024-01-29 16:40:55 +0000 |
| commit | fd61b7b4d8f39738dfe019a4f757606e28f3a4d7 (patch) | |
| tree | c9eb8f5acd8fd7c3e8816e4cd27d123083d82e26 /config/nvim/init.lua | |
| parent | 4c400d943e956bb41907e743b7ea16abe7dbf842 (diff) | |
Restore tab completion and diff colors
Diffstat (limited to 'config/nvim/init.lua')
| -rw-r--r-- | config/nvim/init.lua | 3 |
1 files changed, 3 insertions, 0 deletions
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", "<c-P>", -- 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') |