44 self.py3ExtensionsEdit.setText( |
44 self.py3ExtensionsEdit.setText( |
45 Preferences.getDebugger("Python3Extensions")) |
45 Preferences.getDebugger("Python3Extensions")) |
46 |
46 |
47 self.py3EnvironmentEdit.setText( |
47 self.py3EnvironmentEdit.setText( |
48 Preferences.getDebugger("Python3VirtualEnv")) |
48 Preferences.getDebugger("Python3VirtualEnv")) |
|
49 |
|
50 # colours |
|
51 self.initColour("ASTViewerErrorColor", |
|
52 self.astErrorItemButton, |
|
53 Preferences.getPython) |
|
54 self.initColour("DisViewerErrorColor", |
|
55 self.disErrorItemButton, |
|
56 Preferences.getPython) |
|
57 self.initColour("DisViewerCurrentColor", |
|
58 self.disCurrentInstructionButton, |
|
59 Preferences.getPython) |
|
60 self.initColour("DisViewerLabeledColor", |
|
61 self.disLabeledInstructionButton, |
|
62 Preferences.getPython) |
49 |
63 |
50 def save(self): |
64 def save(self): |
51 """ |
65 """ |
52 Public slot to save the Python configuration. |
66 Public slot to save the Python configuration. |
53 """ |
67 """ |
62 Preferences.setSystem("IOEncoding", enc) |
76 Preferences.setSystem("IOEncoding", enc) |
63 |
77 |
64 Preferences.setDebugger( |
78 Preferences.setDebugger( |
65 "Python3Extensions", |
79 "Python3Extensions", |
66 self.py3ExtensionsEdit.text()) |
80 self.py3ExtensionsEdit.text()) |
|
81 |
|
82 # colours |
|
83 self.saveColours(Preferences.setPython) |
67 |
84 |
68 @pyqtSlot() |
85 @pyqtSlot() |
69 def on_refreshButton_clicked(self): |
86 def on_refreshButton_clicked(self): |
70 """ |
87 """ |
71 Private slot handling a click of the refresh button. |
88 Private slot handling a click of the refresh button. |