eric6/Preferences/ConfigurationDialog.py

branch
maintenance
changeset 7214
f434af227a41
parent 6989
8b8cadf8d7e9
parent 7069
a09a30251d4e
child 7286
7eb04391adf7
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],

eric ide

mercurial