diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-05-24 11:15:51 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-05-24 11:15:51 -0400 |
| commit | 8c9682f38a730d076b5227a809a333c97caf54d3 (patch) | |
| tree | bf4a0afc18654db807b4aba6aacb82d47ef7d40d /plugins | |
| parent | 7b22b1712cf46db79b355c24f52c86d1bb705394 (diff) | |
| download | lite-xl-plugins-8c9682f38a730d076b5227a809a333c97caf54d3.tar.gz lite-xl-plugins-8c9682f38a730d076b5227a809a333c97caf54d3.zip | |
settings: call scan_plugins_spec() before merge_settings()
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/settings.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plugins/settings.lua b/plugins/settings.lua index 3471ad2..74e5473 100644 --- a/plugins/settings.lua +++ b/plugins/settings.lua @@ -1387,12 +1387,12 @@ local core_run = core.run function core.run() store_default_keybindings() - -- merge custom settings into config - merge_settings() - -- append all settings defined in the plugins spec scan_plugins_spec() + -- merge custom settings into config + merge_settings() + ---@type settings.ui settings.ui = Settings() |