eric6/Preferences/__init__.py

branch
micropython
changeset 7137
4ed2573947ff
parent 7135
44fcfc99b864
child 7139
9bb36ec2d1b5
--- 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]))

eric ide

mercurial