From 18d73580aec3045533f79bebbd0d41cecc3c76a8 Mon Sep 17 00:00:00 2001 From: Chris Hennes Date: Mon, 23 Aug 2021 14:43:30 -0500 Subject: [PATCH] Fix Linux compilation bugs --- src/Gui/DlgGeneralImp.cpp | 1 + src/Gui/PreferencePackManager.cpp | 1 + 2 files changed, 2 insertions(+) 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);