--- a/src/eric7/Preferences/__init__.py	Thu Sep 26 15:49:36 2024 +0200
+++ b/src/eric7/Preferences/__init__.py	Fri Sep 27 09:48:07 2024 +0200
@@ -472,6 +472,7 @@
             "*.jenkinsfile",
             "Jenkinsfile.*",
         ],
+        "TextMimeTypesAskUser": False,
     }
 
     iconsDefaults = {
@@ -2247,6 +2248,7 @@
         "UseNativeMenuBar",
         "CombinedLeftRightSidebar",
         "LoadUnknownMimeTypeFiles",
+        "TextMimeTypesAskUser",
     ]:
         return EricUtilities.toBool(
             Prefs.settings.value("UI/" + key, Prefs.uiDefaults[key])