Hi Silamphre,
I'm not sure if this will help or not, but editing the `basexgui` script to include `-Dsun.java2d.uiScale=1.25` might help[1]? I confess that I don't have UI scaling enabled on my unix-like system, or maybe you've already tried that approach. Hope that helps! Best, Bridger
[1] https://stackoverflow.com/questions/58699877/how-to-fix-scaling-of-a-java-ba...
On Thu, Oct 15, 2020 at 12:06 PM Silamphre hugoscheithauer@gmail.com wrote:
Hello everyone,
I started using BaseX for a class project a few days ago. I'd like to run it on my Ubuntu 20.04. I've installed openjdk version 14 to do so.
I've set my Ubuntu display settings at 125% fractional scaling, but it appears that BaseX does not scale with this setting. The GUI consequently appears really tiny, almost unusable.
Does someone have a way to solve this issue, and make BaseX scales accordingly to my Ubuntu display settings, please?
Thank you for your help.
Kind regards, Hugo
https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail Garanti sans virus. www.avast.com https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail <#m_240745489779756524_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>