From 3124e7dcd9b37d2271d43443e45746267a3a045e Mon Sep 17 00:00:00 2001
From: Christoph Stahl <christoph.stahl@uni-dortmund.de>
Date: Sat, 29 Oct 2022 12:03:06 +0200
Subject: [PATCH] dotfiles

---
 .config/nvim/lua/user/init.lua | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.config/nvim/lua/user/init.lua b/.config/nvim/lua/user/init.lua
index 87ad751..243f5c3 100644
--- a/.config/nvim/lua/user/init.lua
+++ b/.config/nvim/lua/user/init.lua
@@ -235,9 +235,9 @@ local config = {
           "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})
+              vim.keymap.set({'n', 'v', 'i'}, '<F2>', '<C-\\><C-O>:CoqUndo<CR>', {buffer=true})
+              vim.keymap.set({'n', 'v', 'i'}, '<F3>', '<C-\\><C-O>:CoqNext<CR>', {buffer=true})
+              vim.keymap.set({'n', 'v', 'i'}, '<F4>', '<C-\\><C-O>:CoqToLine<CR>', {buffer=true})
           end,
       },
       -- You can disable default plugins as follows: