From c64b457cbca2b19796f75c00d8a407396616b437 Mon Sep 17 00:00:00 2001 From: bkellam Date: Mon, 2 Sep 2024 19:39:14 -0700 Subject: [PATCH] Improve highlighting for search results --- .../searchResultHighlightExtension.ts | 22 ++++++++++++++----- 1 file changed, 16 insertions(+), 6 deletions(-) diff --git a/src/lib/extensions/searchResultHighlightExtension.ts b/src/lib/extensions/searchResultHighlightExtension.ts index 696043a3..f3d00584 100644 --- a/src/lib/extensions/searchResultHighlightExtension.ts +++ b/src/lib/extensions/searchResultHighlightExtension.ts @@ -3,10 +3,10 @@ import { Decoration, DecorationSet, EditorView } from "@codemirror/view"; import { ZoektMatch } from "../types"; const matchMark = Decoration.mark({ - class: "cm-searchMatch" + class: "tq-searchMatch" }); const selectedMatchMark = Decoration.mark({ - class: "cm-searchMatch cm-searchMatch-selected" + class: "tq-searchMatch-selected" }); const setMatchState = StateEffect.define<{ @@ -50,10 +50,20 @@ const matchHighlighter = StateField.define({ }); const highlightTheme = EditorView.baseTheme({ - "&light .cm-searchMatch": { backgroundColor: "#ffff0054" }, - "&dark .cm-searchMatch": { backgroundColor: "#00ffff8a" }, - "&light .cm-searchMatch-selected": { backgroundColor: "#ff6a0054" }, - "&dark .cm-searchMatch-selected": { backgroundColor: "#ff00ff8a" } + "&light .tq-searchMatch": { + border: "1px dotted #6b7280ff", + }, + "&light .tq-searchMatch-selected": { + backgroundColor: "#00ff00aa" + }, + + "&dark .tq-searchMatch": { + border: "1px dotted #d1d5dbff", + }, + "&dark .tq-searchMatch-selected": { + backgroundColor: "#00ff007a", + + } }); export const markMatches = (selectedMatchIndex: number, matches: ZoektMatch[], view: EditorView) => {