Mercurial Repositories > eric / file diff

--- a/src/eric7/Preferences/ConfigurationPages/MicroPythonPage.py	Fri Apr 28 12:07:41 2023 +0200
+++ b/src/eric7/Preferences/ConfigurationPages/MicroPythonPage.py	Tue May 02 12:01:40 2023 +0200
@@ -115,11 +115,15 @@
             Preferences.getMicroPython("EnableManualDeviceSelection")
         )
 
-        # serial link parameters
-        self.timeoutSpinBox.setValue(
+        # device communication
+        self.serialTimeoutSpinBox.setValue(
             Preferences.getMicroPython("SerialTimeout") // 1000
-        )
-        # converted to seconds
+        )  # converted to seconds
+        self.webreplTimeoutSpinBox.setValue(
+            Preferences.getMicroPython("WebreplTimeout") // 1000
+        )  # converted to seconds
+
+        # device time handling
         self.syncTimeCheckBox.setChecked(
             Preferences.getMicroPython("SyncTimeAfterConnect")
         )
@@ -227,9 +231,15 @@
             "EnableManualDeviceSelection", self.manualSelectionCheckBox.isChecked()
         )
 
-        # serial link parameters
-        Preferences.setMicroPython("SerialTimeout", self.timeoutSpinBox.value() * 1000)
-        # converted to milliseconds
+        # device communication
+        Preferences.setMicroPython(
+            "SerialTimeout", self.serialTimeoutSpinBox.value() * 1000
+        ) # converted to milliseconds
+        Preferences.setMicroPython(
+            "WebreplTimeout", self.webreplTimeoutSpinBox.value() * 1000
+        ) # converted to milliseconds
+
+        # device time handling
         Preferences.setMicroPython(
             "SyncTimeAfterConnect", self.syncTimeCheckBox.isChecked()
         )