diff -r e3200e4dfa63 -r a09a30251d4e eric6/Preferences/ConfigurationDialog.py --- a/eric6/Preferences/ConfigurationDialog.py Sat Jul 20 14:46:15 2019 +0200 +++ b/eric6/Preferences/ConfigurationDialog.py Sat Jul 20 14:47:24 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],