diff --git a/src/Gui/PreferencePages/DlgSettingsUI.ui b/src/Gui/PreferencePages/DlgSettingsUI.ui index 1352600a70..f1a421b7a6 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 @@ -346,6 +358,9 @@ Hide description + + true + HideColumn @@ -371,6 +386,9 @@ Hide tab bar + + true + DockOverlayHideTabBar @@ -438,6 +456,9 @@ Auto mouse pass through + + true + DockOverlayAutoMouseThrough @@ -454,6 +475,9 @@ Auto mouse wheel pass through + + true + DockOverlayWheelPassThrough