mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-07-13 10:44:34 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

coq: enable coq_settings.xdg by default

Browse source
This commit is contained in:
Pedro Alves 2023-02-20 10:50:48 +00:00
parent 908191a06b
commit 6392856852
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
plugins/completion/coq.nix
View file

@ -34,6 +34,7 @@ in {
settings = { settings = {
auto_start = cfg.autoStart; auto_start = cfg.autoStart;
"keymap.recommended" = cfg.recommendedKeymaps; "keymap.recommended" = cfg.recommendedKeymaps;
xdg = true;
}; };
in in
mkIf cfg.enable { mkIf cfg.enable {