30 # set initial values |
30 # set initial values |
31 self.calltipsCheckBox.setChecked(\ |
31 self.calltipsCheckBox.setChecked(\ |
32 self.__plugin.getPreferences("CalltipsEnabled")) |
32 self.__plugin.getPreferences("CalltipsEnabled")) |
33 self.ctContextCheckBox.setChecked(\ |
33 self.ctContextCheckBox.setChecked(\ |
34 self.__plugin.getPreferences("CallTipsContextShown")) |
34 self.__plugin.getPreferences("CallTipsContextShown")) |
|
35 self.hierarchyCheckBox.setChecked( |
|
36 self.__plugin.getPreferences("CallTipsFollowHierarchy")) |
35 |
37 |
36 def save(self): |
38 def save(self): |
37 """ |
39 """ |
38 Public slot to save the Eric Calltips configuration. |
40 Public slot to save the Eric Calltips configuration. |
39 """ |
41 """ |
40 self.__plugin.setPreferences("CalltipsEnabled", |
42 self.__plugin.setPreferences("CalltipsEnabled", |
41 int(self.calltipsCheckBox.isChecked())) |
43 self.calltipsCheckBox.isChecked()) |
42 self.__plugin.setPreferences("CallTipsContextShown", |
44 self.__plugin.setPreferences("CallTipsContextShown", |
43 int(self.ctContextCheckBox.isChecked())) |
45 self.ctContextCheckBox.isChecked()) |
|
46 self.__plugin.setPreferences("CallTipsFollowHierarchy", |
|
47 self.hierarchyCheckBox.isChecked()) |