diff --git a/home/modules/neovim/extraConfigLua.lua b/home/modules/neovim/extraConfigLua.lua index dd3771b8..a2d88bdd 100644 --- a/home/modules/neovim/extraConfigLua.lua +++ b/home/modules/neovim/extraConfigLua.lua @@ -1,5 +1,8 @@ -- Make Lazy window border rounded require("lazy.core.config").options.ui.border = "rounded" + +-- Disable rocks. For some reason, we still have to activate +-- "Install" in the Lazy menu once to disable rocks completely. require("lazy.core.config").options.rocks.enabled = false -- Default filetype to tex instead of plaintex