feat(ui): added section with disabled plugins

This commit is contained in:
Folke Lemaitre 2023-01-03 10:43:10 +01:00
parent 05aec48968
commit 299ffdfd53
No known key found for this signature in database
GPG key ID: 41F8B1FBACAE2040
5 changed files with 15 additions and 3 deletions

View file

@ -1,5 +1,5 @@
---@alias LazyPluginKind "normal"|"clean"
---@alias LazyPluginKind "normal"|"clean"|"disabled"
---@class LazyPluginState
---@field loaded? {[string]:string}|{time:number}