50 Preferences.getMicroPython("ColorScheme"))) |
50 Preferences.getMicroPython("ColorScheme"))) |
51 self.replWrapCheckBox.setChecked( |
51 self.replWrapCheckBox.setChecked( |
52 Preferences.getMicroPython("ReplLineWrap")) |
52 Preferences.getMicroPython("ReplLineWrap")) |
53 self.mpyCrossPicker.setText( |
53 self.mpyCrossPicker.setText( |
54 Preferences.getMicroPython("MpyCrossCompiler")) |
54 Preferences.getMicroPython("MpyCrossCompiler")) |
|
55 self.micropythonDocuUrlLineEdit.setText( |
|
56 Preferences.getMicroPython("MicroPythonDocuUrl")) |
|
57 self.circuitpythonDocuUrlLineEdit.setText( |
|
58 Preferences.getMicroPython("CircuitPythonDocuUrl")) |
|
59 self.microbitDocuUrlLineEdit.setText( |
|
60 Preferences.getMicroPython("MicrobitDocuUrl")) |
55 |
61 |
56 def save(self): |
62 def save(self): |
57 """ |
63 """ |
58 Public slot to save the MicroPython configuration. |
64 Public slot to save the MicroPython configuration. |
59 """ |
65 """ |
66 "ColorScheme", self.colorSchemeComboBox.currentText()) |
72 "ColorScheme", self.colorSchemeComboBox.currentText()) |
67 Preferences.setMicroPython( |
73 Preferences.setMicroPython( |
68 "ReplLineWrap", self.replWrapCheckBox.isChecked()) |
74 "ReplLineWrap", self.replWrapCheckBox.isChecked()) |
69 Preferences.setMicroPython( |
75 Preferences.setMicroPython( |
70 "MpyCrossCompiler", self.mpyCrossPicker.text()) |
76 "MpyCrossCompiler", self.mpyCrossPicker.text()) |
71 |
77 Preferences.setMicroPython( |
|
78 "MicroPythonDocuUrl", self.micropythonDocuUrlLineEdit.text()) |
|
79 Preferences.setMicroPython( |
|
80 "CircuitPythonDocuUrl", self.circuitpythonDocuUrlLineEdit.text()) |
|
81 Preferences.setMicroPython( |
|
82 "MicrobitDocuUrl", self.microbitDocuUrlLineEdit.text()) |
|
83 |
72 |
84 |
73 def create(dlg): |
85 def create(dlg): |
74 """ |
86 """ |
75 Module function to create the configuration page. |
87 Module function to create the configuration page. |
76 |
88 |