src/eric7/Preferences/__init__.py

branch
eric7
changeset 10498
6bbe8e2210d7
parent 10487
fb7b78071ee8
child 10503
6a37b6ac3928
diff -r 0d7f1c8cd219 -r 6bbe8e2210d7 src/eric7/Preferences/__init__.py
--- a/src/eric7/Preferences/__init__.py	Sat Jan 13 12:57:48 2024 +0100
+++ b/src/eric7/Preferences/__init__.py	Sat Jan 13 12:58:16 2024 +0100
@@ -571,7 +571,6 @@
         "CallTipsPosition": QsciScintilla.CallTipsPosition.CallTipsBelowText,
         # show QScintilla calltips, if plug-in fails
         "CallTipsScintillaOnFail": False,
-        "AutoCheckSyntax": True,
         "OnlineSyntaxCheck": True,
         "OnlineSyntaxCheckInterval": 5,
         "OnlineChangeTrace": True,

eric ide

mercurial