--- 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"