src/eric7/Preferences/__init__.py

branch
eric7
changeset 9534
5ed8445f3b31
parent 9531
155b2646799a
child 9536
c1c84299bef3
--- 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 [

eric ide

mercurial