removed coq
This commit is contained in:
parent
69123b9bf0
commit
692cbbd6ba
|
@ -1,42 +0,0 @@
|
||||||
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"
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
Loading…
Reference in New Issue