Mercurial Repositories > eric / file diff

diff -r a071d4065202 -r 643989a1e2bd src/eric7/Preferences/__init__.py
--- a/src/eric7/Preferences/__init__.py	Wed Dec 20 14:58:58 2023 +0100
+++ b/src/eric7/Preferences/__init__.py	Wed Dec 20 15:42:44 2023 +0100
@@ -585,6 +585,7 @@
         "QuickSearchEnabled": False,
         "SearchMarkersEnabled": True,
         "QuickSearchMarkersEnabled": True,
+        "QuickSearchMarkOccurrencesTimeout": 500,  # 500 milliseconds
         "MarkOccurrencesEnabled": True,
         "MarkOccurrencesTimeout": 500,  # 500 milliseconds
         "SearchRegexpMode": 0,  # 0: POSIX mode, 1: CXX11 mode
@@ -2451,6 +2452,7 @@
         "AutoCompletionMaxChars",
         "CallTipsVisible",
         "MarkOccurrencesTimeout",
+        "QuickSearchMarkOccurrencesTimeout",
         "SearchRegexpMode",
         "AutoSpellCheckChunkSize",
         "SpellCheckingMinWordSize",