https://github.com/JabRef/jabref/pull/8045 introduced global search. There are some open points: - [x] resizing the global search window should not change the column width of the main table (maybe refs https://github.com/JabRef/jabref/pull/7181) - [x] Library not shown "on my machine"\  - [ ] Selecting an entry in the global search should select the entry in the main table - [x] (Optional) the places where the search hit should be highlighted\ (we had this functionality in JabRef 2.9 beta - https://github.com/JabRef/jabref/blob/4e23c05838a3dd6e5f7870e804174a5ec043bc3c/CHANGELOG#L252). (Personal remark: implement in JabRef main branch 10 years ago - https://sourceforge.net/p/jabref/patches/147/#1ebb).
#8045 introduced global search. There are some open points:
(we had this functionality in JabRef 2.9 beta -
jabref/CHANGELOG
Line 252 in 4e23c05