Fix font size preference not updating in preference dialog 8386#9287
Merged
koppor merged 9 commits intoJabRef:mainfrom tomazari:font-size-preference-fix-8386Nov 1, 2022
+17-9
Commits
Commits on Oct 22, 2022
Commits on Oct 23, 2022
Commits on Oct 31, 2022
Commits on Nov 1, 2022
- authored
