From 2839d9fa9210839700d2f50ac74dc1093def89b7 Mon Sep 17 00:00:00 2001 From: Oswald Buddenhagen Date: Thu, 10 Dec 2020 19:49:37 +0100 Subject: [PATCH] add/improve tooltips of mime type settings page Change-Id: Ie03bc73763f4acbb72ed14e249b8e9598570c3e6 Reviewed-by: Leena Miettinen Reviewed-by: Eike Ziller --- src/plugins/coreplugin/mimetypesettingspage.ui | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) 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. + +