From 486d526c9e76a18fd00f9a4c1353612d14df5f04 Mon Sep 17 00:00:00 2001
From: vi-improved <66446404+vi-improved@users.noreply.github.com>
Date: Tue, 7 Feb 2023 15:13:57 +0000
Subject: [PATCH] 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 c0af25b5..788b707a 100644
--- a/plugins/completion/coq.nix
+++ b/plugins/completion/coq.nix
@@ -33,6 +33,7 @@ in
       settings = {
         auto_start = cfg.autoStart;
         "keymap.recommended" = cfg.recommendedKeymaps;
+        xdg = true;
       };
     in
     mkIf cfg.enable {