User Activity
-
Posted
a comment
on
ticket #569
on
jEdit
This doesn't seem to be working on the latest version. The actualy size of text rendered in alternative fonts is fixed, regardless of what size I set the font or even changing the size of the main one.
Personal Data
- Username:
- isaac-oscar
- Joined:
- 2021-09-30 22:49:19
Projects
- No projects to display.
