From 78a579804cdc784cd6f84d70b487aa256c27437e Mon Sep 17 00:00:00 2001 From: Kacper Donat Date: Wed, 27 Aug 2025 23:19:10 +0200 Subject: [PATCH] Gui: Fix reloading of themes --- src/Gui/Application.cpp | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/Gui/Application.cpp b/src/Gui/Application.cpp index 8f46494588..77b7cce4e6 100644 --- a/src/Gui/Application.cpp +++ b/src/Gui/Application.cpp @@ -45,6 +45,8 @@ #include #include +#include +#include #include #include @@ -403,8 +405,9 @@ void Application::initStyleParameterManager() handlers.addDelayedHandler( "BaseApp/Preferences/MainWindow", {"ThemeStyleParametersFiles", "Theme"}, - [themeParametersSource, deduceParametersFilePath](ParameterGrp::handle) { + [themeParametersSource, deduceParametersFilePath, this](ParameterGrp::handle) { themeParametersSource->changeFilePath(deduceParametersFilePath()); + reloadStyleSheet(); }); Base::registerServiceImplementation( @@ -427,7 +430,8 @@ void Application::initStyleParameterManager() {.name = QT_TR_NOOP("User Parameters"), .options = StyleParameters::ParameterSource::UserEditable})); - for (auto* source : Base::provideServiceImplementations()) { + const auto sources = Base::provideServiceImplementations(); + for (auto* source : std::views::all(sources) | std::views::reverse) { d->styleParameterManager->addSource(source); }