update coq and autopairs settings

This commit is contained in:
juan 2021-09-26 11:42:29 +08:00
parent 7a4cdd6922
commit c436ad984f
Signed by: juan
GPG Key ID: 5C1E5093C74F1DC7
2 changed files with 1 additions and 3 deletions

View File

@ -1,2 +1,2 @@
vim.g.coq_settings = {auto_start = true, clients = {tabnine = {enabled = true}}}
vim.g.coq_settings = { keymap = { recommended = false }, auto_start = true, clients= {tabnine = { enabled = true}} }
vim.cmd('COQnow -s')

View File

@ -3,8 +3,6 @@ local npairs = require('nvim-autopairs')
npairs.setup({ map_bs = false })
vim.g.coq_settings = { keymap = { recommended = false } }
-- these mappings are coq recommended mappings unrelated to nvim-autopairs
remap('i', '<esc>', [[pumvisible() ? "<c-e><esc>" : "<esc>"]], { expr = true, noremap = true })
remap('i', '<c-c>', [[pumvisible() ? "<c-e><c-c>" : "<c-c>"]], { expr = true, noremap = true })