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

Bug 645

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

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.