--- a/Preferences/ConfigurationPages/EditorAutocompletionPage.py Tue Oct 24 19:09:09 2017 +0200 +++ b/Preferences/ConfigurationPages/EditorAutocompletionPage.py Wed Oct 25 21:00:48 2017 +0200 @@ -29,7 +29,7 @@ self.setObjectName("EditorAutocompletionPage") # set initial values - self.acEnabledCheckBox.setChecked( + self.acEnabledGroupBox.setChecked( Preferences.getEditor("AutoCompletionEnabled")) self.acCaseSensitivityCheckBox.setChecked( Preferences.getEditor("AutoCompletionCaseSensitivity")) @@ -39,12 +39,16 @@ Preferences.getEditor("AutoCompletionReplaceWord")) self.acThresholdSlider.setValue( Preferences.getEditor("AutoCompletionThreshold")) + self.acScintillaCheckBox.setChecked( + Preferences.getEditor("AutoCompletionScintillaOnFail")) self.acTimeoutSpinBox.setValue( Preferences.getEditor("AutoCompletionTimeout")) self.acCacheSizeSpinBox.setValue( Preferences.getEditor("AutoCompletionCacheSize")) self.acCacheTimeSpinBox.setValue( Preferences.getEditor("AutoCompletionCacheTime")) + self.acWatchdogDoubleSpinBox.setValue( + Preferences.getEditor("AutoCompletionWatchdogTime") / 1000.0) def save(self): """ @@ -52,7 +56,7 @@ """ Preferences.setEditor( "AutoCompletionEnabled", - self.acEnabledCheckBox.isChecked()) + self.acEnabledGroupBox.isChecked()) Preferences.setEditor( "AutoCompletionCaseSensitivity", self.acCaseSensitivityCheckBox.isChecked()) @@ -67,6 +71,9 @@ "AutoCompletionThreshold", self.acThresholdSlider.value()) Preferences.setEditor( + "AutoCompletionScintillaOnFail", + self.acScintillaCheckBox.isChecked()) + Preferences.setEditor( "AutoCompletionTimeout", self.acTimeoutSpinBox.value()) Preferences.setEditor( @@ -75,6 +82,9 @@ Preferences.setEditor( "AutoCompletionCacheTime", self.acCacheTimeSpinBox.value()) + Preferences.setEditor( + "AutoCompletionWatchdogTime", + self.acWatchdogDoubleSpinBox.value() * 1000) def create(dlg):