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

[1] https://files.basex.org/maven/org/basex/basex/10.0-SNAPSHOT/basex-10.0-20220614.103321-6.jar




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