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