Tracker »
Issue 1544 »
Issue activity log
| 2017-06-19 14:40 | Created | Edit font too large on high DPI screens |
| Component | GUI | |
| Version | 5.10 | |
| Severity | Bug | |
| Comment | Emails with Ted Phillips. | |
| 2017-06-19 14:41 | Status | RESOLVED |
| Fixed in | 5.10.2 | |
| Resolution | FIXED | |
| Comment | Fixed. | |
| 2017-06-19 14:43 | Summary | EditEditor font too large on high DPI screens |
| 2017-10-24 13:22 | Comment | Related to Issue 1521. |
| 2018-02-16 11:45 | Comment | Commits: Commit ca2c1890 |
| 2024-11-05 09:23 | Comment | Caused Commit 72474b7a |