Fonts problem with database list and system dialogs
Monday, 20 June 2022 · 8 messages · last reply 28 Jun 2022
JR
Jonathan Robie20 Jun 2022 21:40 #
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
CG
Christian Grün20 Jun 2022 21:55 #
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
Quoted text · Jonathan Robie · 12 lines
On Mon, Jun 20, 2022 at 7:40 PM Jonathan Robie <jonathan.robie at 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 >
CG
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
Quoted text · Jonathan Robie · 35 lines
On Mon, Jun 20, 2022 at 10:18 PM Jonathan Robie <jonathan.robie at 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 at 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 at 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 >>> >>
JR
Hi Christian,
Windows 11. I think it's bog standard, it's a new system.
Jonathan
Quoted text · Christian Grün · 26 lines
On Mon, Jun 20, 2022 at 3:55 PM Christian Grün <christian.gruen at 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 at 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 >> >
JR
Hi Christian,
Quoted text · Christian Grün · 1 line
> 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
Quoted text · Christian Grün · 60 lines
On Mon, Jun 20, 2022 at 4:45 PM Christian Grün <christian.gruen at 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 at 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 at 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 at 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 >>>> >>>
CG
Christian Grün28 Jun 2022 13:00 #
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/
Quoted text · Jonathan Robie · 83 lines
On Mon, Jun 27, 2022 at 5:59 PM Jonathan Robie <jonathan.robie at 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 at 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 at 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 at 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 at 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 >>>>> >>>>
CG
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? …)
Quoted text · Jonathan Robie · 109 lines
On Tue, Jun 28, 2022 at 1:46 PM Jonathan Robie <jonathan.robie at 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-10-to-win-11 > > Jonathan > > On Tue, Jun 28, 2022, 07:00 Christian Grün <christian.gruen at 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 at 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 at 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 at 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 at 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 at 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 >>>>>>> >>>>>>
JR
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
Quoted text · Christian Grün · 96 lines
On Tue, Jun 28, 2022, 07:00 Christian Grün <christian.gruen at 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 at 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 at 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 at 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 at 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 at 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 >>>>>> >>>>>
Written for BaseX 9.7. BaseX may have changed since: please check the current documentation.
⚡Generated with XQuery