-
-
Notifications
You must be signed in to change notification settings - Fork 2.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix size for HiDPI screens #2409
Comments
Thank you for the report. This refs #113 - "Should also work at unusual setups". We unfortunately currently have no money to pay someone for that. Thus, it depends on the availability of our free time. - If you can spend some more time, we would like to encourage you to check https://help.jabref.org/en/FAQcontributing - especially the part asking for improvement of our help pages https://help.jabref.org/en/. We have plenty of open issues there: https://github.com/JabRef/help.jabref.org/issues/ |
I now have a hiDPI screen. Maybe I'll have some time to investigate this in the next months. |
Thank you for your report 👍 |
Java 9 also improves support: http://openjdk.java.net/jeps/263 (found via https://www.sitepoint.com/inside-java-9-part-i/) |
JabRef 5.0--2020-03-06--2e6f433 Here, everything looks nice except the font size is still not scaled. I think under Xfce the relevant attribute is changed by |
This refs #5498, doesn't it? - Should we open a new issue? Do you want an issue to be opened? I think, this issue does not fully match your detail @wolfgang-noichl |
Yeah, I think it's the same, sorry for re-posting. |
JabRef version 3.6 on
Debian Linux (Sid)
It seems that Java doesn't recognize the screen setting from my window manager. It would be great to have the possibility to configure Jabref for HiDPI screens from the options menu. It is possible to use a bigger font size for the table, but the menu etc. stay quite tiny..
Steps to reproduce:
The text was updated successfully, but these errors were encountered: