diff --git a/src/plugins/coreplugin/mimetypesettingspage.ui b/src/plugins/coreplugin/mimetypesettingspage.ui index e3d5731b2f4..b81547fc521 100644 --- a/src/plugins/coreplugin/mimetypesettingspage.ui +++ b/src/plugins/coreplugin/mimetypesettingspage.ui @@ -63,7 +63,7 @@ - Reset all to default. + Reset all MIME type definitions to their defaults. Reset MIME Types @@ -72,6 +72,9 @@ + + Reset the assigned handler for all MIME type definitions to the default. + Reset Handlers @@ -94,7 +97,11 @@ - + + + A semicolon-separated list of wildcarded file names. + +