Tracker »

Issue 1544 – Editor font too large on high DPI screens

: GUI
: 5.10
: Bug
: Medium
: 0
: RESOLVED
: FIXED
: 5.10.2
Emails with Ted Phillips.