diff --git a/src/plugins/coreplugin/generalsettings.ui b/src/plugins/coreplugin/generalsettings.ui index f121df8c72f..05c97fa0a28 100644 --- a/src/plugins/coreplugin/generalsettings.ui +++ b/src/plugins/coreplugin/generalsettings.ui @@ -141,7 +141,7 @@ - Text codec for locale: + Text codec for tools: