fix(plugin): dont allow dir changes when we already loaded files from the plugin's old dir. Show an error in this case. Fixes #993

This commit is contained in:
Folke Lemaitre 2023-10-15 08:51:54 +02:00
commit c8e2091e6d
No known key found for this signature in database
GPG key ID: 41F8B1FBACAE2040
3 changed files with 13 additions and 2 deletions

View file

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