plugins/coq-thirdparty: init + tests (#282)

This commit is contained in:
Gaétan Lepage 2023-03-22 15:00:50 +01:00 committed by GitHub
parent db5061b4db
commit 2550c919a5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 95 additions and 0 deletions

View file

@ -0,0 +1,29 @@
{
# Empty configuration
empty = {
plugins.coq-thirdparty.enable = true;
};
example = {
plugins.coq-thirdparty = {
enable = true;
sources = [
{
src = "nvimlua";
short_name = "nLUA";
}
{
src = "vimtex";
short_name = "vTEX";
}
{
src = "copilot";
short_name = "COP";
accept_key = "<c-f>";
}
{src = "demo";}
];
};
};
}