--- a/eric6/Preferences/ConfigurationPages/MicroPythonPage.py Tue Aug 13 15:51:35 2019 +0200 +++ b/eric6/Preferences/ConfigurationPages/MicroPythonPage.py Tue Aug 13 16:28:43 2019 +0200 @@ -38,6 +38,8 @@ self.timeoutSpinBox.setValue( Preferences.getMicroPython("SerialTimeout") / 1000) # converted to seconds + self.syncTimeCheckBox.setChecked( + Preferences.getMicroPython("SyncTimeAfterConnect")) self.colorSchemeComboBox.setCurrentIndex( self.colorSchemeComboBox.findText( Preferences.getMicroPython("ColorScheme"))) @@ -52,6 +54,8 @@ "SerialTimeout", self.timeoutSpinBox.value() * 1000) # converted to milliseconds Preferences.setMicroPython( + "SyncTimeAfterConnect", self.syncTimeCheckBox.isChecked()) + Preferences.setMicroPython( "ColorScheme", self.colorSchemeComboBox.currentText()) Preferences.setMicroPython( "ReplLineWrap", self.replWrapCheckBox.isChecked())