Preferences/ConfigurationPages/EditorCalltipsPage.py

changeset 564
b3d966393ba9
parent 13
1af94a91f439
child 791
9ec2ac20e54e
equal deleted inserted replaced
563:e35d2cda9a74 564:b3d966393ba9
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

eric ide

mercurial