This is a new problem.  I don't know what changed, I sent my email when I first encountered it.

Here's one possible explanation with a fix:

https://stackoverflow.com/questions/71788510/java-font-size-changes-from-win-10-to-win-11

Jonathan 

On Tue, Jun 28, 2022, 07:00 Christian Grün <christian.gruen@gmail.com> wrote:
Thanks, Jonathan, for your additional tests! – So I guess you always had that issue on your environments (i.e., with all older versions of BaseX as well)? Or has it been introduced with a more recent version?

If you like, you can check some of our older releases here:




On Mon, Jun 27, 2022 at 5:59 PM Jonathan Robie <jonathan.robie@gmail.com> wrote:
Hi Christian,

> java --version
openjdk 17.0.2 2022-01-18
OpenJDK Runtime Environment Temurin-17.0.2+8 (build 17.0.2+8)
OpenJDK 64-Bit Server VM Temurin-17.0.2+8 (build 17.0.2+8, mixed mode, sharing)

I have the same problem with Basex 10, or with reinstalling the latest BaseX from the downloads page.   I also have the same problem with a later JDK:

PS C:\Users\jonat> java --version
openjdk 18.0.1 2022-04-19
OpenJDK Runtime Environment Temurin-18.0.1+10 (build 18.0.1+10)
OpenJDK 64-Bit Server VM Temurin-18.0.1+10 (build 18.0.1+10, mixed mode, sharing)

Jonathan

On Mon, Jun 20, 2022 at 4:45 PM Christian Grün <christian.gruen@gmail.com> wrote:
Hi Jonathan,

Interesting; we’ve switched to Windows 11 as well, and the UI of BaseX didn’t change. Let me think of some more questions …

1. Which distribution of Java are you using (Adoptium, Corretto, …), and which version?
2. Does it make a difference if you switch to another version (8, 11, 17, …)?
3. Does the problem also occur with BaseX 10 [1]?

And … Did anyone else encounter a similar issue?

Thanks in advance,
Christian





On Mon, Jun 20, 2022 at 10:18 PM Jonathan Robie <jonathan.robie@gmail.com> wrote:
Hi Christian,

Windows 11.  I think it's bog standard, it's a new system.

Jonathan

On Mon, Jun 20, 2022 at 3:55 PM Christian Grün <christian.gruen@gmail.com> wrote:
Hi Jonathan,

Can you possibly detail which version of Windows you are using and how it possibly differs from a standard Windows installation?

Thanks,
Christian



On Mon, Jun 20, 2022 at 7:40 PM Jonathan Robie <jonathan.robie@gmail.com> wrote:
I can't read the names of databases in my UI now - the font is tiny.  And the systems dialogs I might otherwise be able to use to find and fix the problem also use tiny fonts.

Other windows are fine.

image.png

Jonathan