This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 645 - High DPI display support
Summary: High DPI display support
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.1.19
Hardware: PC All
: P5 normal
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2017-09-18 13:20 CEST by Anton Christensen
Modified: 2019-10-28 14:09 CET (History)
1 user (show)

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Anton Christensen 2017-09-18 13:20:38 CEST 
The UI is difficult to use on a high DPI display.
An option or commandline flag to enable 2x scaling would be useful as 4K displays becomes more common.
Comment 1 Marius Mikučionis 2019-10-28 14:09:51 CET 
4.1.20 has new Preference in Edit menu which allows changing the magnification factor.