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-based-application-on-a-high-dpi-display-in-linux On Thu, Oct 15, 2020 at 12:06 PM Silamphre <hugoscheitha...@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> >
