113 # devices parameters |
113 # devices parameters |
114 self.manualSelectionCheckBox.setChecked( |
114 self.manualSelectionCheckBox.setChecked( |
115 Preferences.getMicroPython("EnableManualDeviceSelection") |
115 Preferences.getMicroPython("EnableManualDeviceSelection") |
116 ) |
116 ) |
117 |
117 |
118 # serial link parameters |
118 # device communication |
119 self.timeoutSpinBox.setValue( |
119 self.serialTimeoutSpinBox.setValue( |
120 Preferences.getMicroPython("SerialTimeout") // 1000 |
120 Preferences.getMicroPython("SerialTimeout") // 1000 |
121 ) |
121 ) # converted to seconds |
122 # converted to seconds |
122 self.webreplTimeoutSpinBox.setValue( |
|
123 Preferences.getMicroPython("WebreplTimeout") // 1000 |
|
124 ) # converted to seconds |
|
125 |
|
126 # device time handling |
123 self.syncTimeCheckBox.setChecked( |
127 self.syncTimeCheckBox.setChecked( |
124 Preferences.getMicroPython("SyncTimeAfterConnect") |
128 Preferences.getMicroPython("SyncTimeAfterConnect") |
125 ) |
129 ) |
126 |
130 |
127 # REPL Pane |
131 # REPL Pane |
225 # devices parameters |
229 # devices parameters |
226 Preferences.setMicroPython( |
230 Preferences.setMicroPython( |
227 "EnableManualDeviceSelection", self.manualSelectionCheckBox.isChecked() |
231 "EnableManualDeviceSelection", self.manualSelectionCheckBox.isChecked() |
228 ) |
232 ) |
229 |
233 |
230 # serial link parameters |
234 # device communication |
231 Preferences.setMicroPython("SerialTimeout", self.timeoutSpinBox.value() * 1000) |
235 Preferences.setMicroPython( |
232 # converted to milliseconds |
236 "SerialTimeout", self.serialTimeoutSpinBox.value() * 1000 |
|
237 ) # converted to milliseconds |
|
238 Preferences.setMicroPython( |
|
239 "WebreplTimeout", self.webreplTimeoutSpinBox.value() * 1000 |
|
240 ) # converted to milliseconds |
|
241 |
|
242 # device time handling |
233 Preferences.setMicroPython( |
243 Preferences.setMicroPython( |
234 "SyncTimeAfterConnect", self.syncTimeCheckBox.isChecked() |
244 "SyncTimeAfterConnect", self.syncTimeCheckBox.isChecked() |
235 ) |
245 ) |
236 |
246 |
237 # REPL Pane |
247 # REPL Pane |