From 9dc666b9af542c8e6101ffa54966679cfb8042ee Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.berlin>
Date: Sat, 26 Aug 2023 13:00:20 +0200
Subject: [PATCH] Use Prec.low rather than Prec.lowest for match highlighting

FIX: Don't use the very lowest precedence for match highlighting decorations.
---
 src/search.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/search.ts b/src/search.ts
index 22e127d..755663a 100644
--- a/src/search.ts
+++ b/src/search.ts
@@ -777,6 +777,6 @@ const baseTheme = EditorView.baseTheme({
 
 const searchExtensions = [
   searchState,
-  Prec.lowest(searchHighlighter),
+  Prec.low(searchHighlighter),
   baseTheme
 ]