25 ConfigurationPageBase.__init__(self) |
25 ConfigurationPageBase.__init__(self) |
26 self.setupUi(self) |
26 self.setupUi(self) |
27 self.setObjectName("EditorCalltipsPage") |
27 self.setObjectName("EditorCalltipsPage") |
28 |
28 |
29 # set initial values |
29 # set initial values |
30 self.ctEnabledCheckBox.setChecked(\ |
30 self.ctEnabledCheckBox.setChecked( |
31 Preferences.getEditor("CallTipsEnabled")) |
31 Preferences.getEditor("CallTipsEnabled")) |
32 |
32 |
33 self.ctVisibleSlider.setValue(\ |
33 self.ctVisibleSlider.setValue( |
34 Preferences.getEditor("CallTipsVisible")) |
34 Preferences.getEditor("CallTipsVisible")) |
35 self.callTipsBackgroundColour = \ |
35 self.callTipsBackgroundColour = \ |
36 self.initColour("CallTipsBackground", self.calltipsBackgroundButton, |
36 self.initColour("CallTipsBackground", self.calltipsBackgroundButton, |
37 Preferences.getEditorColour) |
37 Preferences.getEditorColour) |
38 |
38 |