search

UPPAALModelChecker / UPPAAL-Meta

This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.
http://www.uppaal.org
1 stars 0 forks source link

Some text ignore font scaling option #250

Open magoorden opened 8 months ago

magoorden commented 8 months ago

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:

Screenshot 2024-03-18 at 16 50 24

Values and zone constraints of model variables:

Screenshot 2024-03-18 at 16 50 28

Desktop (please complete the following information):

mikucionisaau commented 8 months ago

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 commented 8 months ago

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