Hi Hugo -
[responding to the list, too, because I'm well-known for missing the
obvious! :)]
On Thu, Oct 15, 2020 at 4:26 PM Silamphre wrote:
> Hi Bridger,
>
> Thank you for your kind reply and your assistance. I have tried using that
> command directly in the Ubuntu terminal, but unfortunately
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]
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
Dear Christian,
I’d be happy to chime in on the quality of basexs Chinese language full-text
capabilities. Chinese sources are my primary research area. What exactly do you
have in mind?
Greetings
Duncan
Ceterum censeo exist-db.org esse conriganda
>
>
> Today's Topics:
>
> 1. Re:
4 matches
Mail list logo