--- a/eric6/Preferences/__init__.py Tue Aug 13 16:39:31 2019 +0200 +++ b/eric6/Preferences/__init__.py Tue Aug 13 17:52:58 2019 +0200 @@ -1595,6 +1595,8 @@ "SerialTimeout": 2000, # timeout in milliseconds "ReplLineWrap": True, # wrap the REPL lines "SyncTimeAfterConnect": True, + "ShowHiddenLocal": True, + "ShowHiddenDevice": True, } if Globals.isWindowsPlatform(): microPythonDefaults["ColorScheme"] = "Windows 10" @@ -3828,7 +3830,8 @@ return int(prefClass.settings.value( "MicroPython/" + key, prefClass.microPythonDefaults[key])) - elif key in ["ReplLineWrap"]: + elif key in ["ReplLineWrap", "SyncTimeAfterConnect", "ShowHiddenLocal", + "ShowHiddenDevice",]: return toBool(prefClass.settings.value( "MicroPython/" + key, prefClass.microPythonDefaults[key]))