src/eric7/Preferences/ConfigurationPages/MicroPythonPage.py

branch
mpy_network
changeset 10017
6d5ba2c97a8a
parent 10011
26a7d607b8f6
child 10069
435cc5875135
--- a/src/eric7/Preferences/ConfigurationPages/MicroPythonPage.py	Thu May 04 17:54:22 2023 +0200
+++ b/src/eric7/Preferences/ConfigurationPages/MicroPythonPage.py	Thu May 04 17:57:23 2023 +0200
@@ -234,10 +234,10 @@
         # device communication
         Preferences.setMicroPython(
             "SerialTimeout", self.serialTimeoutSpinBox.value() * 1000
-        ) # converted to milliseconds
+        )  # converted to milliseconds
         Preferences.setMicroPython(
             "WebreplTimeout", self.webreplTimeoutSpinBox.value() * 1000
-        ) # converted to milliseconds
+        )  # converted to milliseconds
 
         # device time handling
         Preferences.setMicroPython(

eric ide

mercurial