You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I do not know if it is related, but if one just does the following:
Press "Set table font" and change something. Press "OK".
Press "Set table font" and everything is back to before the change in 1.
I guess this is related to the preference change not actually happening before pressing "OK" in the Preferences dialog and the font dialog is initialized from GUIGlobals.currentFont.
Thank you for reporting this issue. We think, that is already fixed in our development version and consequently the change will be included in the next release.
JabRef 3.6dev--snapshot--2016-08-22--master--74afbb7
windows 10 10.0 amd64
Java 1.8.0_101
Steps to reproduce:
Remark:
font size is saved in xml:
<entry
key="fontSize" value="14"/>The text was updated successfully, but these errors were encountered: