Improve search history by attaching change listener#9794

Merged

koppor merged 20 commits intoJabRef:mainfrom dkokkotas:fix-for-9685

May 4, 2023

+124-3

Commits on Apr 24, 2023

Improve search history attaching change listener JabRef#9685
dkokkotas
committed

Commits on Apr 25, 2023

Merge branch 'main' of https://github.com/JabRef/jabref into fix-for-9685
dkokkotas
committed

Commits on Apr 28, 2023

Resolve not proper change listener attachment JabRef#9685
dkokkotas
committed

Commits on May 2, 2023

Commits on May 3, 2023