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>