Preferences/ConfigurationPages/EditorAutocompletionPage.py

changeset 4271
480434472ac1
parent 4021
195a471c327b
child 4631
5c1a96925da4
diff -r fd51fbdfdd69 -r 480434472ac1 Preferences/ConfigurationPages/EditorAutocompletionPage.py
--- a/Preferences/ConfigurationPages/EditorAutocompletionPage.py	Sat May 30 20:16:47 2015 +0200
+++ b/Preferences/ConfigurationPages/EditorAutocompletionPage.py	Sun May 31 17:30:12 2015 +0200
@@ -37,6 +37,8 @@
             Preferences.getEditor("AutoCompletionReplaceWord"))
         self.acThresholdSlider.setValue(
             Preferences.getEditor("AutoCompletionThreshold"))
+        self.acScintillaCheckBox.setChecked(
+            Preferences.getEditor("AutoCompletionScintillaOnFail"))
         
     def save(self):
         """
@@ -54,6 +56,9 @@
         Preferences.setEditor(
             "AutoCompletionThreshold",
             self.acThresholdSlider.value())
+        Preferences.setEditor(
+            "AutoCompletionScintillaOnFail",
+            self.acScintillaCheckBox.isChecked())
     
 
 def create(dlg):

eric ide

mercurial