diff -r c1a8a2cf56d0 -r f434af227a41 eric6/Preferences/ConfigurationDialog.py --- a/eric6/Preferences/ConfigurationDialog.py Sat Aug 03 11:34:00 2019 +0200 +++ b/eric6/Preferences/ConfigurationDialog.py Sat Sep 07 12:59:54 2019 +0200 @@ -172,6 +172,9 @@ "logViewerPage": [self.tr("Log-Viewer"), "preferences-logviewer.png", "LogViewerPage", None, None], + "microPythonPage": + [self.tr("MicroPython"), "micropython", + "MicroPythonPage", None, None], "mimeTypesPage": [self.tr("Mimetypes"), "preferences-mimetypes.png", "MimeTypesPage", None, None],