Tracker »
Issue 1544 – Editor font too large on high DPI screens
:
GUI
:
5.10
:
Bug
:
Medium
:
0
2017-06-19 14:40
Emails with Ted Phillips.
Fixed.
Related to Issue 1521.
Commits:
Commit ca2c1890
Commit ca2c1890