diff --git a/src/Gui/PreferencePages/DlgSettingsTheme.ui b/src/Gui/PreferencePages/DlgSettingsTheme.ui index 2a59465f41..92b33491ee 100644 --- a/src/Gui/PreferencePages/DlgSettingsTheme.ui +++ b/src/Gui/PreferencePages/DlgSettingsTheme.ui @@ -184,61 +184,7 @@ Gui::ColorButton
Gui/PrefWidgets.h
- - Gui::PrefRadioButton - QRadioButton -
Gui/PrefWidgets.h
-
- - Gui::PrefCheckBox - QCheckBox -
Gui/PrefWidgets.h
-
- - checkBoxPreselection - HighlightColor - checkBoxSelection - SelectionColor - SelectionColor_Background - backgroundColorFrom - backgroundColorTo - checkMidColor - backgroundColorMid - - - - checkBoxPreselection - toggled(bool) - HighlightColor - setEnabled(bool) - - - 70 - 45 - - - 310 - 54 - - - - - checkBoxSelection - toggled(bool) - SelectionColor - setEnabled(bool) - - - 158 - 76 - - - 291 - 75 - - - - +