I am using PopOS and installed jabref with the apt package manager.
The installation manual explains, that if everything looks too small one should add the line -Dglass.gtk.uiScale=1.5 to the file JabRef.cfg. (Installation - JabRef)
I can not find this file, and it is not in /opt/JabRef/lib/app/JabRef.cfg. How can I find it?
(Or respectively, how can I scale Jabref? Right now, it is unusably small.)
The output of ddpkg-query -L jabref is:
/.
/usr
/usr/bin
/usr/bin/jabref
/usr/lib
/usr/lib/mime
/usr/lib/mime/packages
/usr/lib/mime/packages/jabref
/usr/share
/usr/share/applications
/usr/share/applications/jabref.desktop
/usr/share/bug
/usr/share/bug/jabref
/usr/share/bug/jabref/presubj
/usr/share/doc
/usr/share/doc/jabref
/usr/share/doc/jabref/README.Debian
/usr/share/doc/jabref/README.md.gz
/usr/share/doc/jabref/changelog.Debian.gz
/usr/share/doc/jabref/copyright
/usr/share/jabref
/usr/share/jabref/JabRef-3.8.2.jar
/usr/share/java
/usr/share/man
/usr/share/man/man1
/usr/share/man/man1/jabref.1.gz
/usr/share/mime
/usr/share/mime/packages
/usr/share/mime/packages/jabref.xml
/usr/share/pixmaps
/usr/share/pixmaps/JabRef-icon-48.png
/usr/share/java/jabref.jar