40 |
40 |
41 def save(self): |
41 def save(self): |
42 """ |
42 """ |
43 Public slot to save the Editor Autocompletion configuration. |
43 Public slot to save the Editor Autocompletion configuration. |
44 """ |
44 """ |
45 Preferences.setEditor("AutoCompletionEnabled", |
45 Preferences.setEditor( |
|
46 "AutoCompletionEnabled", |
46 self.acEnabledCheckBox.isChecked()) |
47 self.acEnabledCheckBox.isChecked()) |
47 Preferences.setEditor("AutoCompletionCaseSensitivity", |
48 Preferences.setEditor( |
|
49 "AutoCompletionCaseSensitivity", |
48 self.acCaseSensitivityCheckBox.isChecked()) |
50 self.acCaseSensitivityCheckBox.isChecked()) |
49 Preferences.setEditor("AutoCompletionReplaceWord", |
51 Preferences.setEditor( |
|
52 "AutoCompletionReplaceWord", |
50 self.acReplaceWordCheckBox.isChecked()) |
53 self.acReplaceWordCheckBox.isChecked()) |
51 Preferences.setEditor("AutoCompletionThreshold", |
54 Preferences.setEditor( |
|
55 "AutoCompletionThreshold", |
52 self.acThresholdSlider.value()) |
56 self.acThresholdSlider.value()) |
53 |
57 |
54 |
58 |
55 def create(dlg): |
59 def create(dlg): |
56 """ |
60 """ |