eric6/Preferences/ConfigurationPages/MicroPythonPage.py

changeset 7161
728018c32b09
parent 7140
22f5fd76c10f
child 7229
53054eb5b15a
diff -r 85a9d6a753bd -r 728018c32b09 eric6/Preferences/ConfigurationPages/MicroPythonPage.py
--- a/eric6/Preferences/ConfigurationPages/MicroPythonPage.py	Fri Aug 23 13:23:36 2019 +0200
+++ b/eric6/Preferences/ConfigurationPages/MicroPythonPage.py	Fri Aug 23 14:49:59 2019 +0200
@@ -52,6 +52,12 @@
             Preferences.getMicroPython("ReplLineWrap"))
         self.mpyCrossPicker.setText(
             Preferences.getMicroPython("MpyCrossCompiler"))
+        self.micropythonDocuUrlLineEdit.setText(
+            Preferences.getMicroPython("MicroPythonDocuUrl"))
+        self.circuitpythonDocuUrlLineEdit.setText(
+            Preferences.getMicroPython("CircuitPythonDocuUrl"))
+        self.microbitDocuUrlLineEdit.setText(
+            Preferences.getMicroPython("MicrobitDocuUrl"))
     
     def save(self):
         """
@@ -68,7 +74,13 @@
             "ReplLineWrap", self.replWrapCheckBox.isChecked())
         Preferences.setMicroPython(
             "MpyCrossCompiler", self.mpyCrossPicker.text())
-    
+        Preferences.setMicroPython(
+            "MicroPythonDocuUrl", self.micropythonDocuUrlLineEdit.text())
+        Preferences.setMicroPython(
+            "CircuitPythonDocuUrl", self.circuitpythonDocuUrlLineEdit.text())
+        Preferences.setMicroPython(
+            "MicrobitDocuUrl", self.microbitDocuUrlLineEdit.text())
+
 
 def create(dlg):
     """

eric ide

mercurial