Bug 645 - High DPI display support
Summary: High DPI display support
Status: ASSIGNED
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: 2017-09-18 13:22 CEST (History)
1 user (show)

See Also:
Architecture:


Attachments

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.