48 |
48 |
49 self.ctScintillaCheckBox.setChecked( |
49 self.ctScintillaCheckBox.setChecked( |
50 Preferences.getEditor("CallTipsScintillaOnFail")) |
50 Preferences.getEditor("CallTipsScintillaOnFail")) |
51 |
51 |
52 if QSCINTILLA_VERSION() >= 0x020700: |
52 if QSCINTILLA_VERSION() >= 0x020700: |
53 self.positionComboBox.setCurrentIndex(self.positionComboBox.findData( |
53 self.positionComboBox.setCurrentIndex( |
54 Preferences.getEditor("CallTipsPosition"))) |
54 self.positionComboBox.findData( |
|
55 Preferences.getEditor("CallTipsPosition"))) |
55 |
56 |
56 def save(self): |
57 def save(self): |
57 """ |
58 """ |
58 Public slot to save the EditorCalltips configuration. |
59 Public slot to save the EditorCalltips configuration. |
59 """ |
60 """ |
67 Preferences.setEditor("CallTipsScintillaOnFail", |
68 Preferences.setEditor("CallTipsScintillaOnFail", |
68 self.ctScintillaCheckBox.isChecked()) |
69 self.ctScintillaCheckBox.isChecked()) |
69 |
70 |
70 if QSCINTILLA_VERSION() >= 0x020700: |
71 if QSCINTILLA_VERSION() >= 0x020700: |
71 Preferences.setEditor("CallTipsPosition", |
72 Preferences.setEditor("CallTipsPosition", |
72 self.positionComboBox.itemData(self.positionComboBox.currentIndex())) |
73 self.positionComboBox.itemData( |
|
74 self.positionComboBox.currentIndex())) |
73 |
75 |
74 |
76 |
75 def create(dlg): |
77 def create(dlg): |
76 """ |
78 """ |
77 Module function to create the configuration page. |
79 Module function to create the configuration page. |