Map F9 (foot pedal left) to Coqtail's check to line command
1 files changed, 2 insertions(+), 0 deletions(-) A config/nvim/ftplugin/coq.lua
A config/nvim/ftplugin/coq.lua => config/nvim/ftplugin/coq.lua +2 -0
@@ 0,0 1,2 @@ +vim.api.nvim_set_keymap("n", "<F9>", "$:CoqToLine<CR>", { noremap = true }) +vim.api.nvim_set_keymap("i", "<F9>", "<Esc>$:CoqToLine<CR>", { noremap = true })