coq_nvim 智能补全插件的键位配置指南-优快云博客

本文链接：https://blog.youkuaiyun.com/gitblog_01109/article/details/148553189

coq_nvim 智能补全插件的键位配置指南

coq_nvim coq_nvim: 是一个基于 Neovim 的Coq 编辑器和 IDE 插件。它提供了代码补全、语法高亮、代码导航等功能，支持 Coq 证明辅助器。特点是集成度高、功能丰富、支持 Coq 证明辅助器。项目地址: https://gitcode.com/gh_mirrors/co/coq_nvim

前言

coq_nvim 是一款基于 Neovim 的智能代码补全插件，它提供了强大的代码补全功能和灵活的键位配置选项。本文将详细介绍 coq_nvim 的键位配置系统，帮助开发者根据个人习惯定制高效的补全体验。

默认键位配置

coq_nvim 提供了一套精心设计的默认键位配置，这些配置考虑了现代编辑习惯和效率需求：

退出补全：<Esc> 键可在任何情况下返回普通模式
删除操作：
- <BS> 始终执行退格操作，即使补全菜单打开
- <C-w> 删除光标前的单词，不受补全菜单影响
- <C-u> 删除光标前的所有输入
补全导航：
- <Tab> 选择下一个补全项
- <S-Tab> 选择上一个补全项
确认选择：<CR> 用于选择当前补全项

这些默认配置可以通过设置 coq_settings.keymap.recommended = true 启用。

高级键位配置选项

预选模式

coq_settings.keymap.pre_select 选项控制是否自动选择第一个补全结果。启用此选项后，系统会始终预选第一个结果，但需要更频繁地使用 <C-e> 手动退出补全。

"pre_select": false

手动触发补全

coq_settings.keymap.manual_complete 允许自定义手动触发补全的快捷键，默认使用 <C-space>。这个功能特别适合需要更精确控制补全时机的场景。

"manual_complete": "<c-space>"

重复编辑操作

coq_settings.keymap.repeat 功能可以重复 coq_nvim 执行的上一个编辑操作。与 Vim 原生的 . 命令不同，这个功能能够处理更复杂的编辑操作，包括：

拼写纠正
LSP 请求结果
多行 Tabnine 编辑

"repeat": null

预览窗口控制

coq_settings.keymap.bigger_preview 允许将浮动预览窗口转换为固定窗口，便于阅读长文档或参考内容。

"bigger_preview": "<c-k>"

片段占位符导航

coq_settings.keymap.jump_to_mark 用于在代码片段中跳转到下一个占位符位置，提高片段编辑效率。

"jump_to_mark": "<c-h>"

自定义键位配置

对于希望完全自定义键位的用户，可以禁用推荐配置并手动设置：

Vimscript 配置示例

let g:coq_settings = { "keymap.recommended": v:false }

ino <silent><expr> <Esc>   pumvisible() ? "\<C-e><Esc>" : "\<Esc>"
ino <silent><expr> <C-c>   pumvisible() ? "\<C-e><C-c>" : "\<C-c>"
ino <silent><expr> <BS>    pumvisible() ? "\<C-e><BS>"  : "\<BS>"
ino <silent><expr> <CR>    pumvisible() ? (complete_info().selected == -1 ? "\<C-e><CR>" : "\<C-y>") : "\<CR>"
ino <silent><expr> <Tab>   pumvisible() ? "\<C-n>" : "\<Tab>"
ino <silent><expr> <S-Tab> pumvisible() ? "\<C-p>" : "\<BS>"

Lua 配置示例

vim.g.coq_settings = {
    keymap = {
        recommended = false,
    },
}

vim.api.nvim_set_keymap('i', '<Esc>', [[pumvisible() ? "\<C-e><Esc>" : "\<Esc>"]], { expr = true, silent = true })
vim.api.nvim_set_keymap('i', '<C-c>', [[pumvisible() ? "\<C-e><C-c>" : "\<C-c>"]], { expr = true, silent = true })
vim.api.nvim_set_keymap('i', '<BS>', [[pumvisible() ? "\<C-e><BS>" : "\<BS>"]], { expr = true, silent = true })
vim.api.nvim_set_keymap(
  "i",
  "<CR>",
  [[pumvisible() ? (complete_info().selected == -1 ? "\<C-e><CR>" : "\<C-y>") : "\<CR>"]],
  { expr = true, silent = true }
)
vim.api.nvim_set_keymap('i', '<Tab>', [[pumvisible() ? "\<C-n>" : "\<Tab>"]], { expr = true, silent = true })
vim.api.nvim_set_keymap('i', '<S-Tab>', [[pumvisible() ? "\<C-p>" : "\<BS>"]], { expr = true, silent = true })