Update the search syntax highlight for web search#13801
Merged
Siedlerchr merged 17 commits intoJabRef:mainfrom Sep 8, 2025
Merged
Update the search syntax highlight for web search#13801Siedlerchr merged 17 commits intoJabRef:mainfrom
Siedlerchr merged 17 commits intoJabRef:mainfrom
Commits
Commits on Aug 29, 2025
Commits on Sep 2, 2025
Commits on Sep 3, 2025
- authored
- committed
- committed
- authored
Commits on Sep 8, 2025
- committed
- committed
- committed
- committed
- committed