Fix for issue 7416: font size of the preferences dialog does not update with the rest of the GUI.#7509
Merged
Siedlerchr merged 11 commits intoJabRef:masterfrom XDZhelheim:fix-for-issue-7416Mar 27, 2021
+3
Commits
Commits on Mar 3, 2021
Commits on Mar 8, 2021
Commits on Mar 9, 2021
- authored
- committed
- committed
