fix(plugin): improved dir/dev merging. Fixes #993

This commit is contained in:
Folke Lemaitre 2023-10-15 08:36:15 +02:00
parent 0c53d4673f
commit 3dc413d6fd
No known key found for this signature in database
GPG key ID: 41F8B1FBACAE2040
3 changed files with 65 additions and 11 deletions

View file

@ -18,6 +18,7 @@
---@field cond? boolean
---@field super? LazyPlugin
---@field module? string
---@field dir? string Explicit dir or dev set for this plugin
---@alias PluginOpts table|fun(self:LazyPlugin, opts:table):table?