From f5d46d6eee006921ce270fc9466eb635c4bc7bba 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] [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