2025-01-29 02:32:58 -05:00
|
|
|
local map = vim.keymap.set
|
|
|
|
|
map('n', '<esc>', '<cmd>nohlsearch<cr>')
|
2025-02-03 17:13:24 -05:00
|
|
|
map('n', '<leader>e', MiniFiles.open)
|
2025-01-30 01:01:57 -05:00
|
|
|
map('n', '<leader>u', require('undotree').toggle)
|
2025-01-29 02:32:58 -05:00
|
|
|
map('n', 'H', '<cmd>bp<cr>')
|
|
|
|
|
map('n', 'L', '<cmd>bn<cr>')
|
2025-02-11 20:43:15 -05:00
|
|
|
map('n', '<leader>bd', '<cmd>bdelete<cr>', {desc = "buffer delete"})
|
|
|
|
|
map('n', '<leader>v', '<cmd>vs<cr>', {desc = "split [V]ertical"})
|
|
|
|
|
map('n', '<leader>h', '<cmd>sp<cr>', {desc = "split [H]orizontal"})
|
2025-02-03 17:13:24 -05:00
|
|
|
map('n', 'q:', '<nop>')
|
2025-02-11 20:43:15 -05:00
|
|
|
map('n', '<leader>cd', vim.diagnostic.open_float, {desc = "[C]ode [D]iagnostic"})
|
2025-02-25 18:06:17 -05:00
|
|
|
map('n', 'x', '"_x')
|
2025-07-20 13:53:59 -04:00
|
|
|
map('n', '<down>', '<cmd>CoqNext<cr>')
|
|
|
|
|
map('n', '<up>', '<cmd>CoqUndo<cr>')
|
2025-03-11 21:52:10 -04:00
|
|
|
map('i', '<c-a-j>', '<cmd>CoqNext<cr>')
|
|
|
|
|
map('i', '<c-a-k>', '<cmd>CoqUndo<cr>')
|
