diff -r a3809f75ca07 -r af9aa23e12ec Preferences/ConfigurationPages/EditorAutocompletionPage.py
--- 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):
