diff -r f0a7469a2ad4 -r fb84d8489bc1 eric6/Preferences/__init__.py
--- a/eric6/Preferences/__init__.py Sun Jul 07 14:58:07 2019 +0200
+++ b/eric6/Preferences/__init__.py Sun Jul 07 18:48:17 2019 +0200
@@ -168,6 +168,7 @@
"ShowCondaPackageManager": True, # right side
"ShowCooperation": True, # right side
"ShowIrc": True, # right side
+ "ShowMicroPython": True, # right side
"ShowNumbersViewer": True, # bottom side
"ViewProfiles2": {
"edit": [
@@ -1995,7 +1996,7 @@
"ShowCodeDocumentationViewer", "ShowPyPIPackageManager",
"ShowCondaPackageManager", "ShowCooperation", "ShowIrc",
"ShowTemplateViewer", "ShowFileBrowser", "ShowSymbolsViewer",
- "ShowNumbersViewer", "UseNativeMenuBar"]:
+ "ShowNumbersViewer", "ShowMicroPython", "UseNativeMenuBar"]:
return toBool(prefClass.settings.value(
"UI/" + key, prefClass.uiDefaults[key]))
elif key in ["TabViewManagerFilenameLength", "CaptionFilenameLength",
