43 lines
1.1 KiB
Lua
43 lines
1.1 KiB
Lua
|
return {
|
||
|
|
{
|
||
|
|
"ms-jpq/coq_nvim",
|
||
|
|
branch = 'coq',
|
||
|
|
build = function(_)
|
||
|
|
vim.cmd("COQdeps")
|
||
|
|
end,
|
||
|
|
config = function(_,_)
|
||
|
|
vim.cmd("COQnow -s")
|
||
|
|
end,
|
||
|
|
init = function(_)
|
||
|
|
vim.g.coq_settings = {
|
||
|
|
display = {
|
||
|
|
ghost_text = {
|
||
|
|
enabled = true,
|
||
|
|
context = { "", "" },
|
||
|
|
highlight_group = "CursorLineFold"
|
||
|
|
},
|
||
|
|
pum = {
|
||
|
|
fast_close = false,
|
||
|
|
kind_context = { " ", " " },
|
||
|
|
source_context = { "", " " },
|
||
|
|
},
|
||
|
|
icons = {
|
||
|
|
spacing = 1,
|
||
|
|
mode = "short"
|
||
|
|
},
|
||
|
|
}
|
||
|
|
}
|
||
|
|
end,
|
||
|
|
dependencies = {
|
||
|
|
{
|
||
|
|
'ms-jpq/coq.artifacts',
|
||
|
|
branch = "artifacts"
|
||
|
|
},
|
||
|
|
{
|
||
|
|
"ms-jpq/coq.thirdparty",
|
||
|
|
branch = "3p"
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|