42 def save(self): |
42 def save(self): |
43 """ |
43 """ |
44 Public slot to save the EditorCalltips configuration. |
44 Public slot to save the EditorCalltips configuration. |
45 """ |
45 """ |
46 Preferences.setEditor("CallTipsEnabled", |
46 Preferences.setEditor("CallTipsEnabled", |
47 int(self.ctEnabledCheckBox.isChecked())) |
47 self.ctEnabledCheckBox.isChecked()) |
48 |
48 |
49 Preferences.setEditor("CallTipsVisible", |
49 Preferences.setEditor("CallTipsVisible", |
50 self.ctVisibleSlider.value()) |
50 self.ctVisibleSlider.value()) |
51 Preferences.setEditorColour("CallTipsBackground", self.callTipsBackgroundColour) |
51 Preferences.setEditorColour("CallTipsBackground", self.callTipsBackgroundColour) |
52 |
52 |
53 Preferences.setEditor("CallTipsScintillaOnFail", |
53 Preferences.setEditor("CallTipsScintillaOnFail", |
54 int(self.ctScintillaCheckBox.isChecked())) |
54 self.ctScintillaCheckBox.isChecked()) |
55 |
55 |
56 @pyqtSlot() |
56 @pyqtSlot() |
57 def on_calltipsBackgroundButton_clicked(self): |
57 def on_calltipsBackgroundButton_clicked(self): |
58 """ |
58 """ |
59 Private slot to set the background colour for calltips. |
59 Private slot to set the background colour for calltips. |