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-20220...

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: image.png]

Jonathan

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:

https://files.basex.org/releases/

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

[1] https://files.basex.org/maven/org/basex/basex/10.0-SNAPSHOT/basex-10.0-20220...

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: image.png]

Jonathan

Sorry; you already indicated it only happens with Windows 11.

Your Stackoverflow link is helpful. We’ll continue to try to get this reproduced (maybe it’s about scaling factors, screen resolutions – or even different region/language settings? Someone else encountering this issue? …)

On Tue, Jun 28, 2022 at 1:46 PM Jonathan Robie jonathan.robie@gmail.com wrote:

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...

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:

https://files.basex.org/releases/

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

[1] https://files.basex.org/maven/org/basex/basex/10.0-SNAPSHOT/basex-10.0-20220...

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: image.png] > > Jonathan >