Changed the color of found text from red to high contrast #9315
Merged
ThiloteE merged 8 commits intoJabRef:main from u7232539:mainOct 28, 2022
+6-1
Commits
Commits on Oct 22, 2022
Commits on Oct 23, 2022
- committed
- committed
- committed
- committed
- authored