From 639285685224e9178629b8a3fb01d7114f01ff7e Mon Sep 17 00:00:00 2001
From: Pedro Alves <pta2002@pta2002.com>
Date: Mon, 20 Feb 2023 10:50:48 +0000
Subject: [PATCH] coq: enable coq_settings.xdg by default

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

diff --git a/plugins/completion/coq.nix b/plugins/completion/coq.nix
index 9a361458..15b79252 100644
--- a/plugins/completion/coq.nix
+++ b/plugins/completion/coq.nix
@@ -34,6 +34,7 @@ in {
     settings = {
       auto_start = cfg.autoStart;
       "keymap.recommended" = cfg.recommendedKeymaps;
+      xdg = true;
     };
   in
     mkIf cfg.enable {