christofsteel/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

dotfiles

Browse source
This commit is contained in:
Christoph Stahl 2022-10-29 12:03:06 +02:00
parent afa23105a3
commit 3124e7dcd9
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.config/nvim/lua/user/init.lua
View file

@ -235,9 +235,9 @@ local config = {
"whonore/Coqtail", "whonore/Coqtail",
ft = {'coq'}, ft = {'coq'},
config = function() config = function()
vim.keymap.set({'n', 'v', 'i'}, '<F2>', ':CoqUndo<CR>', {buffer=true}) vim.keymap.set({'n', 'v', 'i'}, '<F2>', '<C-\\><C-O>:CoqUndo<CR>', {buffer=true})
vim.keymap.set({'n', 'v', 'i'}, '<F3>', ':CoqNext<CR>', {buffer=true}) vim.keymap.set({'n', 'v', 'i'}, '<F3>', '<C-\\><C-O>:CoqNext<CR>', {buffer=true})
vim.keymap.set({'n', 'v', 'i'}, '<F4>', ':CoqToLine<CR>', {buffer=true}) vim.keymap.set({'n', 'v', 'i'}, '<F4>', '<C-\\><C-O>:CoqToLine<CR>', {buffer=true})
end, end,
}, },
-- You can disable default plugins as follows: -- You can disable default plugins as follows: