--- a/src/eric7/Preferences/__init__.py Fri Nov 25 11:51:51 2022 +0100 +++ b/src/eric7/Preferences/__init__.py Fri Nov 25 14:15:48 2022 +0100 @@ -242,6 +242,7 @@ "NotificationWarningBackground": "#ffffd0", "NotificationCriticalForeground": "#600000", "NotificationCriticalBackground": "#ffd0d0", + "LoadUnknownMimeTypeFiles": False, "TextMimeTypes": [ "application/bookmarks.xbel", "application/x-xbel", @@ -277,6 +278,9 @@ "application/x-genshi-text", "application/x-gettext", "application/x-troff", + "application/x-troff-man", + "application/x-troff-me", + "application/x-troff-ms", "application/xhtml+xml", "application/x-php", "application/x-httpd-php", @@ -343,7 +347,11 @@ "application/xsl+xml", "application/xslt+xml", "application/x-desktop", + "application/x-latex", + "application/x-tex", + "application/x-texinfo", "image/svg+xml", + "message/rfc822", ], } @@ -1984,6 +1992,7 @@ "ShowInternalHelpViewer", "UseNativeMenuBar", "CombinedLeftRightSidebar", + "LoadUnknownMimeTypeFiles", ]: return toBool(Prefs.settings.value("UI/" + key, Prefs.uiDefaults[key])) elif key in [