Mercurial Repositories > eric / file diff

--- a/src/eric7/Preferences/__init__.py	Fri Apr 28 12:07:41 2023 +0200
+++ b/src/eric7/Preferences/__init__.py	Tue May 02 12:01:40 2023 +0200
@@ -1570,7 +1570,8 @@
     # defaults for MicroPython
     microPythonDefaults = {
         "MpyWorkspace": "",
-        "SerialTimeout": 2000,  # timeout in milliseconds
+        "SerialTimeout": 2000,  # timeout in milliseconds for serial connections
+        "WebreplTimeout": 5000,  # timeout in milliseconds for webrepl connections
         "ReplLineWrap": True,  # wrap the REPL lines
         "SyncTimeAfterConnect": True,
         "ShowHiddenLocal": True,
@@ -3806,6 +3807,7 @@
     """
     if key in (
         "SerialTimeout",
+        "WebreplTimeout",
         "ChartColorTheme",
         "WifiApAuthMode",
         "NtpOffset",