Tracker »

Issue 1544 – Editor font too large on high DPI screens

Component: GUI

Version: 5.10

Severity: Bug

Priority: Medium

Votes: 0

Status: RESOLVED

Resolution: FIXED

Fixed in: 5.10.2

Last modified: 2024-11-05 09:23

2017-06-19 14:40

Emails with Ted Phillips.

2017-06-19 14:41

Fixed.

2017-10-24 13:22

Related to Issue 1521.

2018-02-16 11:45

Commits:
Commit ca2c1890

2024-11-05 09:23

Caused Commit 72474b7a