From 33532b1bf6435d58500dfc091ea6274719d2843c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Moritz=20B=C3=B6hme?= <mail@moritzboeh.me>
Date: Tue, 25 Jul 2023 16:12:08 +0200
Subject: [PATCH] feat(nvim): lazy load coq-nvim

---
 modules/programs/nvim/plugins/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/programs/nvim/plugins/default.nix b/modules/programs/nvim/plugins/default.nix
index 75634da..f0119bf 100644
--- a/modules/programs/nvim/plugins/default.nix
+++ b/modules/programs/nvim/plugins/default.nix
@@ -236,7 +236,7 @@ with builtins;
     }
     {
       plugin = coq_nvim;
-      lazy = false;
+      event = [ "BufReadPost" "BufNewFile" ];
       init = builtins.readFile ./coq-nvim.lua;
       dependencies = [
         {