--- a/src/eric7/Preferences/__init__.py Thu Mar 23 20:51:13 2023 +0100 +++ b/src/eric7/Preferences/__init__.py Sat Mar 25 17:39:59 2023 +0100 @@ -573,6 +573,7 @@ "AnnotationsEnabled": True, "MiniContextMenu": False, "HideFormatButtons": True, + "QuickSearchEnabled": False, "SearchMarkersEnabled": True, "QuickSearchMarkersEnabled": True, "MarkOccurrencesEnabled": True,