From ace88d865d6da2d2748a51689de0f0fe14e7e2ea Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Diot?= Date: Sat, 20 May 2023 17:10:44 -0400 Subject: [PATCH] Fix plugins fetching for the UI --- src/ui/src/Config.py | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/ui/src/Config.py b/src/ui/src/Config.py index f1bfabbb3..e433aee93 100644 --- a/src/ui/src/Config.py +++ b/src/ui/src/Config.py @@ -102,6 +102,16 @@ class Config: plugins.sort(key=lambda x: x["name"]) + general_plugin = None + for plugin in plugins.copy(): + if plugin["id"] == "general": + general_plugin = plugin + plugins.remove(plugin) + break + + if general_plugin: + plugins.insert(0, general_plugin) + return plugins def get_settings(self) -> dict: