diff -r cc296ba99a3f -r 6f958d5765f4 Preferences/ConfigurationPages/EditorAutocompletionPage.py
--- a/Preferences/ConfigurationPages/EditorAutocompletionPage.py Wed Nov 01 19:22:02 2017 +0100
+++ b/Preferences/ConfigurationPages/EditorAutocompletionPage.py Fri Nov 03 12:10:16 2017 +0100
@@ -29,16 +29,26 @@
self.setObjectName("EditorAutocompletionPage")
# set initial values
- self.acEnabledCheckBox.setChecked(
+ self.acEnabledGroupBox.setChecked(
Preferences.getEditor("AutoCompletionEnabled"))
self.acCaseSensitivityCheckBox.setChecked(
Preferences.getEditor("AutoCompletionCaseSensitivity"))
+ self.acReversedCheckBox.setChecked(
+ Preferences.getEditor("AutoCompletionReversedList"))
self.acReplaceWordCheckBox.setChecked(
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):
"""
@@ -46,10 +56,14 @@
"""
Preferences.setEditor(
"AutoCompletionEnabled",
- self.acEnabledCheckBox.isChecked())
+ self.acEnabledGroupBox.isChecked())
Preferences.setEditor(
"AutoCompletionCaseSensitivity",
self.acCaseSensitivityCheckBox.isChecked())
+
+ Preferences.setEditor(
+ "AutoCompletionReversedList",
+ self.acReversedCheckBox.isChecked())
Preferences.setEditor(
"AutoCompletionReplaceWord",
self.acReplaceWordCheckBox.isChecked())
@@ -59,6 +73,18 @@
Preferences.setEditor(
"AutoCompletionScintillaOnFail",
self.acScintillaCheckBox.isChecked())
+ Preferences.setEditor(
+ "AutoCompletionTimeout",
+ self.acTimeoutSpinBox.value())
+ Preferences.setEditor(
+ "AutoCompletionCacheSize",
+ self.acCacheSizeSpinBox.value())
+ Preferences.setEditor(
+ "AutoCompletionCacheTime",
+ self.acCacheTimeSpinBox.value())
+ Preferences.setEditor(
+ "AutoCompletionWatchdogTime",
+ self.acWatchdogDoubleSpinBox.value() * 1000)
def create(dlg):
