[fix] custom plugins: settings must not be merged.

In customizing it should be decided which plugin modules should be loaded and
which should not.

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
This commit is contained in:
Markus Heiser 2025-07-16 19:16:05 +02:00 committed by Markus Heiser
parent a0a2f0fd42
commit 62fac1c6a9
2 changed files with 36 additions and 0 deletions

View file

@ -137,6 +137,10 @@ def update_settings(default_settings: dict, user_settings: dict):
if categories_as_tabs:
default_settings['categories_as_tabs'] = categories_as_tabs
plugins = user_settings.get('plugins')
if plugins is not None:
default_settings['plugins'] = plugins
# parse the engines
remove_engines = None
keep_only_engines = None