--- 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): """