eric6/Preferences/__init__.py

changeset 8079
331e717c458e
parent 8069
1176a936efa4
child 8091
c000526a6d0d
--- a/eric6/Preferences/__init__.py	Sat Feb 06 11:45:58 2021 +0100
+++ b/eric6/Preferences/__init__.py	Sat Feb 06 16:05:27 2021 +0100
@@ -1445,6 +1445,7 @@
         "MpyCrossCompiler": "",         # path of the mpy-cross compiler
         "DfuUtilPath": "",              # path of the dfu-util flashing tool
         "IgnoredUnknownDevices": "[]",  # empty list encoded as JSON
+        "ManualDevices": "[]",          # empty list encoded as JSON
         
         # MicroPython URLs
         "MicroPythonDocuUrl":
@@ -3573,7 +3574,7 @@
         return toBool(prefClass.settings.value(
             "MicroPython/" + key,
             prefClass.microPythonDefaults[key]))
-    elif key in ["IgnoredUnknownDevices"]:
+    elif key in ["IgnoredUnknownDevices", "ManualDevices"]:
         jsonStr = prefClass.settings.value(
             "MicroPython/" + key,
             prefClass.microPythonDefaults[key])
@@ -3595,7 +3596,7 @@
     @param value the value to be set
     @param prefClass preferences class used as the storage area
     """
-    if key in ["IgnoredUnknownDevices"]:
+    if key in ["IgnoredUnknownDevices", "ManualDevices"]:
         prefClass.settings.setValue(
             "MicroPython/" + key,
             json.dumps(value))

eric ide

mercurial