Summary: | High DPI display support | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Anton Christensen <achri15> |
Component: | GUI | Assignee: | Marius Mikučionis <marius> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | adavid |
Priority: | P5 | ||
Version: | 4.1.19 | ||
Hardware: | PC | ||
OS: | All | ||
Architecture: |
Description
Anton Christensen
2017-09-18 13:20:38 CEST
4.1.20 has new Preference in Edit menu which allows changing the magnification factor. |