diff --git a/src/plugins/coreplugin/generalsettings.ui b/src/plugins/coreplugin/generalsettings.ui index 088111ab4d7..a865e873948 100644 --- a/src/plugins/coreplugin/generalsettings.ui +++ b/src/plugins/coreplugin/generalsettings.ui @@ -110,10 +110,10 @@ - Re-enable all warnings which were suppressed using "Don't show again" button (e.g. missing highlighter). + Re-enable warnings that were suppressed by selecting "Don't show again" (for example, missing highlighter). - Reset warnings + Reset Warnings