diff --git a/src/Gui/PreferencePages/DlgSettingsUI.ui b/src/Gui/PreferencePages/DlgSettingsUI.ui index 33eadaa4cc..9cfef8b387 100644 --- a/src/Gui/PreferencePages/DlgSettingsUI.ui +++ b/src/Gui/PreferencePages/DlgSettingsUI.ui @@ -23,7 +23,7 @@ - This section let you customize your current theme. The offered settings are optional for theme developers so they may or may not have an effect in your current theme. + This section lets you customize your current theme. The offered settings are optional for theme developers so they may or may not have an effect in your current theme. true @@ -293,7 +293,7 @@ - If enabled, show an eye icon before the tree view items, showing the items visibility status. When clicked the visibility is toggled. + If enabled, show an eye icon before the tree view items, showing their visibility status. When clicked the visibility is toggled. Show visibility icon