eric6/Preferences/__init__.py

branch
micropython
changeset 7135
44fcfc99b864
parent 7108
4f6133a01c6a
child 7137
4ed2573947ff
diff -r 21d23ca51680 -r 44fcfc99b864 eric6/Preferences/__init__.py
--- a/eric6/Preferences/__init__.py	Tue Aug 13 15:51:35 2019 +0200
+++ b/eric6/Preferences/__init__.py	Tue Aug 13 16:28:43 2019 +0200
@@ -1592,8 +1592,9 @@
     
     # defaults for MicroPython
     microPythonDefaults = {
-        "SerialTimeout": 2000,         # timeout in milliseconds
+        "SerialTimeout": 2000,          # timeout in milliseconds
         "ReplLineWrap": True,           # wrap the REPL lines
+        "SyncTimeAfterConnect": True,
     }
     if Globals.isWindowsPlatform():
         microPythonDefaults["ColorScheme"] = "Windows 10"

eric ide

mercurial