diff --git a/src/Gui/DlgSettingsTheme.cpp b/src/Gui/DlgSettingsTheme.cpp
index c043dddf44..f7829dc056 100644
--- a/src/Gui/DlgSettingsTheme.cpp
+++ b/src/Gui/DlgSettingsTheme.cpp
@@ -60,6 +60,8 @@ DlgSettingsTheme::~DlgSettingsTheme()
void DlgSettingsTheme::saveSettings()
{
ui->ThemeSecondaryColor->onSave();
+ ui->ThemeHighlightColor->onSave();
+ ui->ThemeFocusColor->onSave();
if (styleSheetChanged)
saveStyleSheet();
@@ -68,6 +70,8 @@ void DlgSettingsTheme::saveSettings()
void DlgSettingsTheme::loadSettings()
{
ui->ThemeSecondaryColor->onRestore();
+ ui->ThemeHighlightColor->onRestore();
+ ui->ThemeFocusColor->onRestore();
loadStyleSheet();
}
diff --git a/src/Gui/DlgSettingsTheme.ui b/src/Gui/DlgSettingsTheme.ui
index f2bbc0fd2e..7a1c93d19b 100644
--- a/src/Gui/DlgSettingsTheme.ui
+++ b/src/Gui/DlgSettingsTheme.ui
@@ -75,6 +75,72 @@
+ -
+
+
+ Highlight color
+
+
+
+ -
+
+
+
+ 0
+ 0
+
+
+
+ This color might be used by your theme to let you customize it.
+
+
+
+ 85
+ 123
+ 182
+
+
+
+ ThemeHighlightColor
+
+
+ Themes
+
+
+
+ -
+
+
+ Focus theme color
+
+
+
+ -
+
+
+
+ 0
+ 0
+
+
+
+ This color might be used by your theme to let you customize it.
+
+
+
+ 85
+ 123
+ 182
+
+
+
+ ThemeFocusColor
+
+
+ Themes
+
+
+
-