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