Zoom to fit does not zoom to fit

[magoorden]

Describe the bug The zoom to fit function does not fully zoom a template. See the screenshot below.

To Reproduce

Steps to reproduce the behavior:

1. Open the model Exploration.xml.txt.
2. Go to the editor and visualize the template.
3. Click the Zoom to fit button.
4. See error.

Expected behavior The model fits the window as best as possible without unnecessary white space.

Version(s) of UPPAAL tested UPPAAL v5.0, UPPAAL v5.0 RC3-5 (so it worked fine in UPPAAL v5.0 RC2 and before).

Desktop (please complete the following information):

• Version UPPAAL 5.0.0 (rev. 714BA9DB36F49691), 2023-06-21
• OS: macOS 13.4.1 (c) (22F770820d)
  • Java version:

    % java -version
    openjdk version "11.0.15" 2022-04-19 LTS
    OpenJDK Runtime Environment Zulu11.56+19-CA (build 11.0.15+10-LTS)
    OpenJDK 64-Bit Server VM Zulu11.56+19-CA (build 11.0.15+10-LTS, mixed mode)

[mikucionisaau]

I get the same behavior on Linux (is not macOS-specific). It kind of zooms-in but not completely, perhaps there is some kind of feature interaction the way zoom parameters are computed.

[thorulf4]

Has been resolved and is waiting to be released