Some text ignore font scaling option

[magoorden]

Describe the bug
Today during the lectures I scaled the font of Uppaal, but some text are ignoring this font scaling setting. See below for screenshot of some places that I found.

To Reproduce
Steps to reproduce the behavior:

1. Go to Settings
2. Select a 'Font scaling factor' other than 1 (I tested with 2).

Expected behavior
All text adheres to the font scaling.

Version(s) of UPPAAL tested
v5.0.0 and v5.1.0 beta4

Screenshots
Name of template and parameters:

Values and zone constraints of model variables:

Desktop (please complete the following information):

• Version UPPAAL 5.1.0-beta4 (rev. EB64CC30D74BA740), 2023-11-20
• macOS 14.4 (23E214)

[mikucionisaau]

I think I've seen such behavior, but I cannot reproduce it :-(
Could it be that it depends on some peculiar detail on how Uppaal is started?
Can you reproduce the issue at will?

[magoorden]

I've used this scaling today again during the lecture. And when I look now, it seems to be working fine again.
But maybe it has to do with different screen resolutions? For teaching my laptop is connected to a beamer, and maybe one time I changed the settings while Uppaal was on my high-res laptop screen while maybe today it was on the low-res beamer screen?? [But I'm just guessing at this point in time.]