23 ConfigurationPageBase.__init__(self) |
23 ConfigurationPageBase.__init__(self) |
24 self.setupUi(self) |
24 self.setupUi(self) |
25 self.setObjectName("EditorAutocompletionPage") |
25 self.setObjectName("EditorAutocompletionPage") |
26 |
26 |
27 # set initial values |
27 # set initial values |
28 self.acEnabledCheckBox.setChecked(\ |
28 self.acEnabledCheckBox.setChecked( |
29 Preferences.getEditor("AutoCompletionEnabled")) |
29 Preferences.getEditor("AutoCompletionEnabled")) |
30 self.acCaseSensitivityCheckBox.setChecked(\ |
30 self.acCaseSensitivityCheckBox.setChecked( |
31 Preferences.getEditor("AutoCompletionCaseSensitivity")) |
31 Preferences.getEditor("AutoCompletionCaseSensitivity")) |
32 self.acReplaceWordCheckBox.setChecked(\ |
32 self.acReplaceWordCheckBox.setChecked( |
33 Preferences.getEditor("AutoCompletionReplaceWord")) |
33 Preferences.getEditor("AutoCompletionReplaceWord")) |
34 self.acThresholdSlider.setValue(\ |
34 self.acThresholdSlider.setValue( |
35 Preferences.getEditor("AutoCompletionThreshold")) |
35 Preferences.getEditor("AutoCompletionThreshold")) |
36 |
36 |
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. |