eric6/Preferences/ConfigurationPages/MicroPythonPage.py

branch
micropython
changeset 7135
44fcfc99b864
parent 7134
21d23ca51680
child 7140
22f5fd76c10f
--- 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())

eric ide

mercurial