Restore tab completion and diff colors

diff --git a/config/nvim/colors/rbdr.vim b/config/nvim/colors/rbdr.vim
index fc7da9679e4113bd7771588906259ed1c401f5fe..138eb5e7bbf3850b8732c73cb4641354f913f85a 100644 (file)
--- a/config/nvim/colors/rbdr.vim
+++ b/config/nvim/colors/rbdr.vim
@@ -46,6 +46,9 @@ hi DiffDelete guifg=#FF00FF guibg=#232323
 hi DiffChange guifg=#AAAAAA guibg=#555555
 hi DiffText guibg=#555555 gui=italic,bold cterm=italic,bold
 
 hi DiffChange guifg=#AAAAAA guibg=#555555
 hi DiffText guibg=#555555 gui=italic,bold cterm=italic,bold
 

+hi link @text.diff.add DiffAdd
+hi link @text.diff.delete DiffDelete
+

 hi Directory guifg=#00FF00 gui=bold
 hi Error guifg=#FFFFFF guibg=#FF0000
 hi ErrorMsg guifg=#FFFFFF guibg=#FF0000 gui=bold cterm=bold
 hi Directory guifg=#00FF00 gui=bold
 hi Error guifg=#FFFFFF guibg=#FF0000
 hi ErrorMsg guifg=#FFFFFF guibg=#FF0000 gui=bold cterm=bold

diff --git a/config/nvim/init.lua b/config/nvim/init.lua
index e3e64279da2e97b36dec22cda757c29e74f31a44..f705d37791bc6415b78f739534ee74c17866544b 100644 (file)
--- 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
 
 -- 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')
 -- Plugins
 require('plugins')
 require('treesitter_config')

diff --git a/config/nvim/lazy-lock.json b/config/nvim/lazy-lock.json
index ee889af47e7435ca6984e24ffde2edb369c20a1f..f88cdf48d7d4768db47c2ecf2abf7468fad05415 100644 (file)
--- a/config/nvim/lazy-lock.json
+++ b/config/nvim/lazy-lock.json
@@ -1,5 +1,6 @@
 {
   "LargeFile": { "branch": "master", "commit": "3941a37b2b0288524300348a39521a46539bf9f6" },
 {
   "LargeFile": { "branch": "master", "commit": "3941a37b2b0288524300348a39521a46539bf9f6" },

+  "coq_nvim": { "branch": "coq", "commit": "792a5547052561d1089d523d68cad5859e9c78d9" },

   "fzf-lua": { "branch": "main", "commit": "2fca0f2ae6064aa106feef6b527a7dbefb825724" },
   "gemini.vim": { "branch": "master", "commit": "c9efb59c97b71c28d4678c79fd21fbdd3a69d196" },
   "lazy.nvim": { "branch": "main", "commit": "96584866b9c5e998cbae300594d0ccfd0c464627" },
   "fzf-lua": { "branch": "main", "commit": "2fca0f2ae6064aa106feef6b527a7dbefb825724" },
   "gemini.vim": { "branch": "master", "commit": "c9efb59c97b71c28d4678c79fd21fbdd3a69d196" },
   "lazy.nvim": { "branch": "main", "commit": "96584866b9c5e998cbae300594d0ccfd0c464627" },

diff --git a/config/nvim/lua/lsp.lua b/config/nvim/lua/lsp.lua
index dc90a7bad69967520ef463316d82ef6c9e2a8b48..8f7edbdcdb49f8226b6cf131fe12a83e5ec34fbe 100644 (file)
--- a/config/nvim/lua/lsp.lua
+++ b/config/nvim/lua/lsp.lua
@@ -1,19 +1,20 @@
 local lspconfig = require('lspconfig')
 local lspconfig = require('lspconfig')

+local coq = require('coq')

 local capabilities = vim.lsp.protocol.make_client_capabilities()
 capabilities.textDocument.completion.completionItem.snippetSupport = true
 
 local capabilities = vim.lsp.protocol.make_client_capabilities()
 capabilities.textDocument.completion.completionItem.snippetSupport = true
 

-lspconfig.tsserver.setup {}
-lspconfig.eslint.setup{}
-lspconfig.svelte.setup{}
-lspconfig.pyright.setup {}
-lspconfig.dartls.setup{}
-lspconfig.rust_analyzer.setup {
+lspconfig.tsserver.setup(coq.lsp_ensure_capabilities({}))
+lspconfig.eslint.setup(coq.lsp_ensure_capabilities({}))
+lspconfig.svelte.setup(coq.lsp_ensure_capabilities({}))
+lspconfig.pyright.setup(coq.lsp_ensure_capabilities({}))
+lspconfig.dartls.setup(coq.lsp_ensure_capabilities({}))
+lspconfig.rust_analyzer.setup(coq.lsp_ensure_capabilities({

   -- Server-specific settings. See `:help lspconfig-setup`
   settings = {
     ['rust-analyzer'] = {},
   },
   -- Server-specific settings. See `:help lspconfig-setup`
   settings = {
     ['rust-analyzer'] = {},
   },

-}
-lspconfig.lua_ls.setup{}
+}))
+lspconfig.lua_ls.setup(coq.lsp_ensure_capabilities({}))

 
 -- Global mappings.
 -- See `:help vim.diagnostic.*` for documentation on any of the below functions
 
 -- Global mappings.
 -- See `:help vim.diagnostic.*` for documentation on any of the below functions

diff --git a/config/nvim/lua/plugins.lua b/config/nvim/lua/plugins.lua
index 7946aea2c0d5a03105fac0aafee45fe0dc917d9d..17f2fb4d7b1bcf5b1d1de6b38a6d14a62132fb59 100644 (file)
--- a/config/nvim/lua/plugins.lua
+++ b/config/nvim/lua/plugins.lua
@@ -52,6 +52,7 @@ require('lazy').setup({
   'rcarriga/nvim-dap-ui',
 
   -- Editing
   'rcarriga/nvim-dap-ui',
 
   -- Editing

+  'ms-jpq/coq_nvim',

   'tpope/vim-endwise',
   'rstacruz/vim-closer',
   'michaeljsmith/vim-indent-object',
   'tpope/vim-endwise',
   'rstacruz/vim-closer',
   'michaeljsmith/vim-indent-object',