From 28fc85484ab827912b1785484dd709c62d9a8237 Mon Sep 17 00:00:00 2001
From: jacekpoz <jacekpoz@cock.li>
Date: Thu, 30 Nov 2023 16:34:58 +0100
Subject: [PATCH] plugins/coq-nvim: add alwaysComplete option

---
 plugins/completion/coq.nix | 7 +++++++
 1 file changed, 7 insertions(+)

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 {