diff --git a/plugins/completion/coq.nix b/plugins/completion/coq.nix index 6d97d398..58f3e55e 100644 --- a/plugins/completion/coq.nix +++ b/plugins/completion/coq.nix @@ -27,6 +27,12 @@ in { default = null; description = "Use the recommended keymaps"; }; + + alwaysComplete = mkOption { + type = with types; nullOr bool; + default = null; + description = "Always trigger completion on keystroke"; + }; }; }; config = let @@ -34,6 +40,7 @@ in { auto_start = cfg.autoStart; "keymap.recommended" = cfg.recommendedKeymaps; xdg = true; + "completion.always" = cfg.alwaysComplete; }; in mkIf cfg.enable {