dotfiles

.config/nvim/lua/user/init.lua

@@ -52,7 +52,7 @@ local config = {
       mapleader = " ", -- sets vim.g.mapleader
       autoformat_enabled = true, -- enable or disable auto formatting at start (lsp.formatting.format_on_save must be enabled)
       cmp_enabled = true, -- enable completion at start
-      autopairs_enabled = true, -- enable autopairs at start
+      autopairs_enabled = false, -- enable autopairs at start
       diagnostics_enabled = true, -- enable diagnostics at start
       status_diagnostics_enabled = true, -- enable diagnostics in statusline
       icons_enabled = true, -- disable icons in the UI (disable if no nerd font is available, requires :Plervag/vimtexackerSync after changing)
@@ -218,7 +218,7 @@ local config = {
       ["<leader>bc"] = { "<cmd>BufferLinePickClose<cr>", desc = "Pick to close" },
       ["<leader>bj"] = { "<cmd>BufferLinePick<cr>", desc = "Pick to jump" },
       ["<leader>bt"] = { "<cmd>BufferLineSortByTabs<cr>", desc = "Sort by tabs" },
-      ["<leader>ev"] = { ":e ~/.config/nvim/lua/user/init.lua<CR>", desc = "Open user config"}
+      ["<leader>ve"] = { ":e ~/.config/nvim/lua/user/init.lua<CR>", desc = "Open user config"},
       -- quick save
       -- ["<C-s>"] = { ":w!<cr>", desc = "Save File" },  -- change description but the same command
     },
@@ -231,6 +231,15 @@ local config = {
   -- Configure plugins
   plugins = {
     init = {
+      {
+          "whonore/Coqtail",
+          ft = {'coq'},
+          config = function()
+              vim.keymap.set({'n', 'v', 'i'}, '<F2>', ':CoqUndo<CR>', {buffer=true})
+              vim.keymap.set({'n', 'v', 'i'}, '<F3>', ':CoqNext<CR>', {buffer=true})
+              vim.keymap.set({'n', 'v', 'i'}, '<F4>', ':CoqToLine<CR>', {buffer=true})
+          end,
+      },
       -- You can disable default plugins as follows:
       -- ["goolord/alpha-nvim"] = { disable = true },
 
@@ -317,6 +326,7 @@ local config = {
           -- third key is the key to bring up next level and its displayed
           -- group name in which-key top level menu
           ["b"] = { name = "Buffer" },
+          ["c"] = { name = "Coq" },
         },
       },
     },