swytch/dotfiles
Archived
1
0
Fork 0
Code Issues Pull Requests Projects Releases Activity

[nvim]fix: verilo maps

Browse Source
This commit is contained in:
David JULIEN 2021-10-21 23:49:39 +02:00
parent 9cb79d2678
commit e461e3804b
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
.config/nvim/after/ftplugin/verilog.lua
View File

@ -3,11 +3,11 @@
-- License : GPLv3 -- License : GPLv3
-- Description : verilog fietype config -- Description : verilog fietype config
utils.map("n", "<C-c>", ":CoqInterrupt<Enter>") utils.map("n", "<C-c>", "<cmd>CoqInterrupt<CR>")
utils.map("n", "<leader>j", ":CoqNext<Enter>") utils.map("n", "<leader>j", "<cmd>CoqNext<CR>")
utils.map("n", "<leader>k", ":CoqUndo<Enter>") utils.map("n", "<leader>k", "<cmd>CoqUndo<CR>")
utils.map("n", "<leader><Enter>", ":CoqToLine<Enter>") utils.map("n", "<leader><CR>", "<cmd>CoqToLine<CR>")
utils.map("n", "<leader>a", ":Coq About") utils.map("n", "<leader>a", "<cmd>Coq About")
utils.map("n", "<leader>G", ":CoqJumpToEnd") utils.map("n", "<leader>G", "<cmd>CoqJumpToEnd")
utils.map("i", "//", "∥") utils.map("i", "//", "∥")