Mercurial Repositories > eric / file diff

--- a/src/eric7/Preferences/__init__.py	Wed Feb 07 15:28:08 2024 +0100
+++ b/src/eric7/Preferences/__init__.py	Fri Feb 09 19:54:15 2024 +0100
@@ -1726,6 +1726,7 @@
     ericServerDefaults = {
         "ConnectionProfiles": "{}",  # JSON encoded dictionary
         "ConnectionTimeout": 10,  # timeout in seconds
+        "AutostartShell": True,
     }
 
 
@@ -4206,6 +4207,10 @@
         return int(
             Prefs.settings.value(f"{prefix}{key}", Prefs.ericServerDefaults[key])
         )
+    elif key in ("AutostartShell",):
+        return toBool(
+            Prefs.settings.value(f"{prefix}{key}", Prefs.ericServerDefaults[key])
+        )
     elif key in ("ConnectionProfiles",):
         jsonStr = Prefs.settings.value(f"{prefix}{key}", Prefs.ericServerDefaults[key])
         if jsonStr: