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