From e1094724dbc4654c87c1048314830351bfcdbb6b Mon Sep 17 00:00:00 2001 From: Paddle Date: Wed, 9 Aug 2023 07:29:15 +0200 Subject: [PATCH] Preference Page Theme : remove jun from .ui file. --- src/Gui/PreferencePages/DlgSettingsTheme.ui | 56 +-------------------- 1 file changed, 1 insertion(+), 55 deletions(-) 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 - - - - +