diff options
| author | jgmdev <jgmdev@gmail.com> | 2023-02-15 22:22:50 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2023-02-15 22:22:50 -0400 |
| commit | d957a57209ee4f62911b6278c054803ac5a1b9d6 (patch) | |
| tree | a800aa8088b54ab21f1e92821dceb932eba1a7d3 /plugins | |
| parent | d2cb48da2028c211938434b66b89ae54659f7218 (diff) | |
| download | lite-xl-plugins-d957a57209ee4f62911b6278c054803ac5a1b9d6.tar.gz lite-xl-plugins-d957a57209ee4f62911b6278c054803ac5a1b9d6.zip | |
settings: simplified loaded status check of plugins
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/settings.lua | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/plugins/settings.lua b/plugins/settings.lua index d3af077..6be6112 100644 --- a/plugins/settings.lua +++ b/plugins/settings.lua @@ -1867,11 +1867,7 @@ function core.run() -- load plugins disabled by default and enabled by user if settings.config.enabled_plugins then for name, _ in pairs(settings.config.enabled_plugins) do - if - type(config.plugins[name]) == "boolean" - and - not config.plugins[name] - then + if not config.plugins[name] then require("plugins." .. name) end end @@ -1910,7 +1906,7 @@ load_settings() -- only disable non already loaded plugins if settings.config.disabled_plugins then for name, _ in pairs(settings.config.disabled_plugins) do - if type(rawget(config.plugins, name)) == "nil" then + if not package.loaded[name] then config.plugins[name] = false end end |