39 self.ctEnabledCheckBox.setChecked( |
39 self.ctEnabledCheckBox.setChecked( |
40 Preferences.getEditor("CallTipsEnabled")) |
40 Preferences.getEditor("CallTipsEnabled")) |
41 |
41 |
42 self.ctVisibleSlider.setValue( |
42 self.ctVisibleSlider.setValue( |
43 Preferences.getEditor("CallTipsVisible")) |
43 Preferences.getEditor("CallTipsVisible")) |
|
44 |
44 self.initColour("CallTipsBackground", self.calltipsBackgroundButton, |
45 self.initColour("CallTipsBackground", self.calltipsBackgroundButton, |
|
46 Preferences.getEditorColour) |
|
47 self.initColour("CallTipsForeground", self.calltipsForegroundButton, |
|
48 Preferences.getEditorColour) |
|
49 self.initColour("CallTipsHighlight", self.calltipsHighlightButton, |
45 Preferences.getEditorColour) |
50 Preferences.getEditorColour) |
46 |
51 |
47 self.ctScintillaCheckBox.setChecked( |
52 self.ctScintillaCheckBox.setChecked( |
48 Preferences.getEditor("CallTipsScintillaOnFail")) |
53 Preferences.getEditor("CallTipsScintillaOnFail")) |
49 |
54 |
60 self.ctEnabledCheckBox.isChecked()) |
65 self.ctEnabledCheckBox.isChecked()) |
61 |
66 |
62 Preferences.setEditor( |
67 Preferences.setEditor( |
63 "CallTipsVisible", |
68 "CallTipsVisible", |
64 self.ctVisibleSlider.value()) |
69 self.ctVisibleSlider.value()) |
|
70 |
65 self.saveColours(Preferences.setEditorColour) |
71 self.saveColours(Preferences.setEditorColour) |
66 |
72 |
67 Preferences.setEditor( |
73 Preferences.setEditor( |
68 "CallTipsScintillaOnFail", |
74 "CallTipsScintillaOnFail", |
69 self.ctScintillaCheckBox.isChecked()) |
75 self.ctScintillaCheckBox.isChecked()) |