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

plugins/coq-nvim: add alwaysComplete option

Browse source
This commit is contained in:
jacekpoz 2023-11-30 16:34:58 +01:00 • committed by Gaétan Lepage
parent f56d412f84
commit 28fc85484a
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
plugins/completion/coq.nix
View file

@ -27,6 +27,12 @@ in {
default = null; default = null;
description = "Use the recommended keymaps"; description = "Use the recommended keymaps";
}; };
alwaysComplete = mkOption {
type = with types; nullOr bool;
default = null;
description = "Always trigger completion on keystroke";
};
}; };
}; };
config = let config = let
@ -34,6 +40,7 @@ in {
auto_start = cfg.autoStart; auto_start = cfg.autoStart;
"keymap.recommended" = cfg.recommendedKeymaps; "keymap.recommended" = cfg.recommendedKeymaps;
xdg = true; xdg = true;
"completion.always" = cfg.alwaysComplete;
}; };
in in
mkIf cfg.enable { mkIf cfg.enable {