Skip to content

Commit 28fc854

Browse files
jacekpozGaetanLepage
jacekpoz
authored andcommitted
plugins/coq-nvim: add alwaysComplete option
1 parent f56d412 commit 28fc854

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

Diff for: plugins/completion/coq.nix

+7
Original file line numberDiff line numberDiff line change
@@ -27,13 +27,20 @@ in {
2727
default = null;
2828
description = "Use the recommended keymaps";
2929
};
30+
31+
alwaysComplete = mkOption {
32+
type = with types; nullOr bool;
33+
default = null;
34+
description = "Always trigger completion on keystroke";
35+
};
3036
};
3137
};
3238
config = let
3339
settings = {
3440
auto_start = cfg.autoStart;
3541
"keymap.recommended" = cfg.recommendedKeymaps;
3642
xdg = true;
43+
"completion.always" = cfg.alwaysComplete;
3744
};
3845
in
3946
mkIf cfg.enable {

0 commit comments

Comments
 (0)