diff -r 54c614d91eff -r c5bcafe3485c src/eric7/Preferences/__init__.py
--- 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",
