Mercurial Repositories > eric / file diff

diff -r f0a7469a2ad4 -r fb84d8489bc1 eric6/Preferences/ConfigurationPages/InterfacePage.py
--- a/eric6/Preferences/ConfigurationPages/InterfacePage.py	Sun Jul 07 14:58:07 2019 +0200
+++ b/eric6/Preferences/ConfigurationPages/InterfacePage.py	Sun Jul 07 18:48:17 2019 +0200
@@ -86,6 +86,8 @@
         # right side
         self.codeDocumentationViewerCheckBox.setChecked(
             Preferences.getUI("ShowCodeDocumentationViewer"))
+        self.microPythonCheckBox.setChecked(
+            Preferences.getUI("ShowMicroPython"))
         self.pypiCheckBox.setChecked(
             Preferences.getUI("ShowPyPIPackageManager"))
         self.condaCheckBox.setChecked(
@@ -175,6 +177,9 @@
             "ShowCodeDocumentationViewer",
             self.codeDocumentationViewerCheckBox.isChecked())
         Preferences.setUI(
+            "ShowMicroPython",
+            self.microPythonCheckBox.isChecked())
+        Preferences.setUI(
             "ShowPyPIPackageManager",
             self.pypiCheckBox.isChecked())
         Preferences.setUI(