Change search text highlight color

Close #9011
This commit is contained in:
wrd 2025-05-27 17:25:07 +02:00 committed by hrb-hub
parent b450d241e1
commit 02b68a5152
2 changed files with 9 additions and 4 deletions

View file

@ -2936,6 +2936,7 @@ styles.registerStyle("main", () => {
"font-weight": "bold",
"background-color": theme.highlight_bg,
color: theme.highlight_fg,
"border-radius": "3px",
},
}
})