mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-27 02:59:00 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

plugins/coq-thirdparty: Fix example & improve documentation (#1254)

Browse source
This commit is contained in:
traxys 2024-03-12 23:40:43 +01:00 • committed by GitHub
parent 01d7adb4ed
commit 4ab65ca95a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 8 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

13
plugins/completion/coq-thirdparty.nix
View file

@ -34,21 +34,24 @@ in {
}; };
}; };
}); });
description = "List of sources"; description = ''
List of sources.
Each source is a free-form type, so additional settings like `accept_key` may be specified even if they are not declared by nixvim.
'';
default = []; default = [];
example = [ example = [
{ {
src = "nvimlua"; src = "nvimlua";
shortName = "nLUA"; short_name = "nLUA";
} }
{ {
src = "vimtex"; src = "vimtex";
shortName = "vTEX"; short_name = "vTEX";
} }
{ {
src = "copilot"; src = "copilot";
shortName = "COP"; short_name = "COP";
acceptKey = "<c-f>"; accept_key = "<c-f>";
} }
{src = "demo";} {src = "demo";}
]; ];