From 5bc02545ca321cb4f3ac71bdcf2b81314ea3b95a Mon Sep 17 00:00:00 2001 From: Yorik van Havre Date: Sun, 5 Aug 2018 19:03:56 -0300 Subject: [PATCH] Start: Small fixes in preference page --- src/Mod/Start/Gui/DlgStartPreferences.ui | 4 ++-- src/Mod/Start/Gui/DlgStartPreferencesImp.cpp | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/Mod/Start/Gui/DlgStartPreferences.ui b/src/Mod/Start/Gui/DlgStartPreferences.ui index 2b6a28b586..35c823862f 100644 --- a/src/Mod/Start/Gui/DlgStartPreferences.ui +++ b/src/Mod/Start/Gui/DlgStartPreferences.ui @@ -7,7 +7,7 @@ 0 0 476 - 507 + 533 @@ -400,7 +400,7 @@ - Auto load module after loafing + Switch workbench after loafing diff --git a/src/Mod/Start/Gui/DlgStartPreferencesImp.cpp b/src/Mod/Start/Gui/DlgStartPreferencesImp.cpp index 69cb133975..4d50877f9d 100644 --- a/src/Mod/Start/Gui/DlgStartPreferencesImp.cpp +++ b/src/Mod/Start/Gui/DlgStartPreferencesImp.cpp @@ -41,6 +41,7 @@ DlgStartPreferencesImp::DlgStartPreferencesImp( QWidget* parent ) // Hide currently unused controls label_12->hide(); label_7->hide(); + colorButton_7->hide(); radioButton_1->hide(); radioButton_2->hide();