diff -r d0e6c9ef0f15 -r 331e717c458e eric6/Preferences/__init__.py
--- 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))
