feat(nvim): lazy load coq-nvim

This commit is contained in:
Moritz Böhme 2023-07-25 16:12:08 +02:00
parent 885a4e8e3b
commit 33532b1bf6
Signed by: moritz
GPG key ID: 970C6E89EB0547A9

View file

@ -236,7 +236,7 @@ with builtins;
} }
{ {
plugin = coq_nvim; plugin = coq_nvim;
lazy = false; event = [ "BufReadPost" "BufNewFile" ];
init = builtins.readFile ./coq-nvim.lua; init = builtins.readFile ./coq-nvim.lua;
dependencies = [ dependencies = [
{ {