src/eric7/Preferences/__init__.py

branch
eric7
changeset 9931
e6e01a10c3a1
parent 9924
b41c9a7bcbbb
child 9938
b8005dd4fc9b
--- 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,

eric ide

mercurial