Mercurial Repositories > eric / file diff

--- a/Preferences/__init__.py	Sun Oct 02 15:57:38 2011 +0200
+++ b/Preferences/__init__.py	Sun Oct 02 20:06:38 2011 +0200
@@ -275,6 +275,9 @@
         # show QScintilla calltips, if plugin fails
         
         "AutoCheckSyntax": True,
+        "OnlineSyntaxCheck": True,
+        "OnlineSyntaxCheckInterval": 5,
+        
         "AutoReopen": False,
         
         "AnnotationsEnabled": True,
@@ -1409,7 +1412,8 @@
                  "CaretWidth", "AutoCompletionSource", "AutoCompletionThreshold",
                  "CallTipsVisible", "CallTipsStyle", "MarkOccurrencesTimeout",
                  "AutoSpellCheckChunkSize", "SpellCheckingMinWordSize",
-                 "PostScriptLevel", "EOLMode", "ZoomFactor", "WhitespaceSize"]:
+                 "PostScriptLevel", "EOLMode", "ZoomFactor", "WhitespaceSize",
+                 "OnlineSyntaxCheckInterval"]:
         return int(prefClass.settings.value("Editor/" + key,
             prefClass.editorDefaults[key]))
     elif key in ["AdditionalOpenFilters", "AdditionalSaveFilters",