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,