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