232 ) |
232 ) |
233 |
233 |
234 # device communication |
234 # device communication |
235 Preferences.setMicroPython( |
235 Preferences.setMicroPython( |
236 "SerialTimeout", self.serialTimeoutSpinBox.value() * 1000 |
236 "SerialTimeout", self.serialTimeoutSpinBox.value() * 1000 |
237 ) # converted to milliseconds |
237 ) # converted to milliseconds |
238 Preferences.setMicroPython( |
238 Preferences.setMicroPython( |
239 "WebreplTimeout", self.webreplTimeoutSpinBox.value() * 1000 |
239 "WebreplTimeout", self.webreplTimeoutSpinBox.value() * 1000 |
240 ) # converted to milliseconds |
240 ) # converted to milliseconds |
241 |
241 |
242 # device time handling |
242 # device time handling |
243 Preferences.setMicroPython( |
243 Preferences.setMicroPython( |
244 "SyncTimeAfterConnect", self.syncTimeCheckBox.isChecked() |
244 "SyncTimeAfterConnect", self.syncTimeCheckBox.isChecked() |
245 ) |
245 ) |