How to change the size of the fonts in Jabref 5.0.dev

maintable

(Bernhard Kleine) #1

The entry apperances in Options->Preferences is gone. Is there an alternative way to change fonts and sizes?

Regards Bernhard

JabRef 5.0-dev–snapshot–2018-08-24–master–f43b9c7e8
Windows 7 6.1 amd64
Java 1.8.0_181


(Bernhard Kleine) #2

I did not see the scrollbar, since this shows only with the mouse over it.
The size of letters I have been able to change, but not the font used.


(Tobias Diez) #3

What do you mean by that? Usually the font size is understood to be the “size of the letters”.


(Christoph) #4

@tobiasdiez I think he means the font type/face, e.g. Arial or Helvetica. We removed that completely.