Mercurial Repositories > eric / file diff

--- a/src/eric7/Preferences/__init__.py	Tue May 02 12:01:40 2023 +0200
+++ b/src/eric7/Preferences/__init__.py	Tue May 02 18:01:34 2023 +0200
@@ -1572,6 +1572,7 @@
         "MpyWorkspace": "",
         "SerialTimeout": 2000,  # timeout in milliseconds for serial connections
         "WebreplTimeout": 5000,  # timeout in milliseconds for webrepl connections
+        "WebreplUrls": "{}",  # empty dict of WebREPL URLs as JSON
         "ReplLineWrap": True,  # wrap the REPL lines
         "SyncTimeAfterConnect": True,
         "ShowHiddenLocal": True,
@@ -3827,7 +3828,7 @@
         return toBool(
             Prefs.settings.value("MicroPython/" + key, Prefs.microPythonDefaults[key])
         )
-    elif key in ["IgnoredUnknownDevices", "ManualDevices"]:
+    elif key in ["IgnoredUnknownDevices", "ManualDevices", "WebreplUrls"]:
         jsonStr = Prefs.settings.value(
             "MicroPython/" + key, Prefs.microPythonDefaults[key]
         )
@@ -3853,7 +3854,7 @@
     @param key the key of the setting to be set
     @param value the value to be set
     """
-    if key in ["IgnoredUnknownDevices", "ManualDevices"]:
+    if key in ["IgnoredUnknownDevices", "ManualDevices", "WebreplUrls"]:
         Prefs.settings.setValue("MicroPython/" + key, json.dumps(value))
     elif key in ("WifiPassword", "WifiApPassword"):
         Prefs.settings.setValue("MicroPython/" + key, pwConvert(value, encode=True))