--- 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(