From acdc6036f9ada24cc8e945ec863eb5513d320f27 Mon Sep 17 00:00:00 2001
From: Syres916 <46537884+Syres916@users.noreply.github.com>
Date: Thu, 25 Jul 2024 15:04:04 +0100
Subject: [PATCH 1/2] [Gui] Correct checkbox checked states
---
src/Gui/PreferencePages/DlgSettingsUI.ui | 21 +++++++++++++++++++++
1 file changed, 21 insertions(+)
diff --git a/src/Gui/PreferencePages/DlgSettingsUI.ui b/src/Gui/PreferencePages/DlgSettingsUI.ui
index 1352600a70..311f6f4325 100644
--- a/src/Gui/PreferencePages/DlgSettingsUI.ui
+++ b/src/Gui/PreferencePages/DlgSettingsUI.ui
@@ -208,6 +208,9 @@
Hide Internal Names
+
+ true
+
HideInternalNames
@@ -298,6 +301,9 @@
Show visibility icon
+
+ true
+
VisibilityIcon
@@ -314,6 +320,9 @@
Hide header
+
+ true
+
HideHeaderView
@@ -330,6 +339,9 @@
Hide scroll bar
+
+ true
+
HideScrollBar
@@ -371,6 +383,9 @@
Hide tab bar
+
+ true
+
DockOverlayHideTabBar
@@ -438,6 +453,9 @@
Auto mouse pass through
+
+ true
+
DockOverlayAutoMouseThrough
@@ -454,6 +472,9 @@
Auto mouse wheel pass through
+
+ true
+
DockOverlayWheelPassThrough
From d0d414057c95cb767f832165d7c1153a59b4f91e Mon Sep 17 00:00:00 2001
From: Syres916 <46537884+Syres916@users.noreply.github.com>
Date: Thu, 25 Jul 2024 18:50:46 +0100
Subject: [PATCH 2/2] [Gui] Add missing checked property
---
src/Gui/PreferencePages/DlgSettingsUI.ui | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/Gui/PreferencePages/DlgSettingsUI.ui b/src/Gui/PreferencePages/DlgSettingsUI.ui
index 311f6f4325..f1a421b7a6 100644
--- a/src/Gui/PreferencePages/DlgSettingsUI.ui
+++ b/src/Gui/PreferencePages/DlgSettingsUI.ui
@@ -358,6 +358,9 @@
Hide description
+
+ true
+
HideColumn