diff -r fbdf76af88ed -r 89f11ae6bec3 eric6/Preferences/__init__.py
--- a/eric6/Preferences/__init__.py Tue Jul 30 19:25:23 2019 +0200
+++ b/eric6/Preferences/__init__.py Tue Jul 30 19:26:56 2019 +0200
@@ -1593,6 +1593,7 @@
# defaults for MicroPython
microPythonDefaults = {
"SerialTimeout": 10000, # timeout in milliseconds
+ "ReplLineWrap": True, # wrap the REPL lines
}
if Globals.isWindowsPlatform():
microPythonDefaults["ColorScheme"] = "Windows 10"
@@ -3826,6 +3827,10 @@
return int(prefClass.settings.value(
"MicroPython/" + key,
prefClass.microPythonDefaults[key]))
+ elif key in ["ReplLineWrap"]:
+ return toBool(prefClass.settings.value(
+ "MicroPython/" + key,
+ prefClass.microPythonDefaults[key]))
else:
return prefClass.settings.value(
"MicroPython/" + key,
