diff --git a/src/Gui/DlgGeneralImp.cpp b/src/Gui/DlgGeneralImp.cpp index 8a965d4f17..b1a6f469b9 100644 --- a/src/Gui/DlgGeneralImp.cpp +++ b/src/Gui/DlgGeneralImp.cpp @@ -27,6 +27,7 @@ # include # include # include +# include #endif #include "DlgGeneralImp.h" diff --git a/src/Gui/PreferencePackManager.cpp b/src/Gui/PreferencePackManager.cpp index 9bdecfee26..2978b2c39f 100644 --- a/src/Gui/PreferencePackManager.cpp +++ b/src/Gui/PreferencePackManager.cpp @@ -213,6 +213,7 @@ bool PreferencePackManager::apply(const std::string& preferencePackName) const // TODO: Are there other things that have to be manually triggered? } + return wasApplied; } else { throw std::runtime_error("No such Preference Pack: " + preferencePackName);