Preferences/ConfigurationPages/EditorCalltipsPage.py

changeset 7
c679fb30c8f3
parent 0
de9c2efb9d02
child 12
1d8dd9706f46
equal deleted inserted replaced
6:52e8c820d0dd 7:c679fb30c8f3
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.

eric ide

mercurial