changing the font in the editor does not work. an error window appears.
This is a problem in the version of wxWidgets we use.
Same problem here in version 20.03. Hope it will be fixed soon. Because default font size 9 is too small.
The fix is in the night builds.
Log in to post a comment.
This is a problem in the version of wxWidgets we use.
Same problem here in version 20.03. Hope it will be fixed soon.
Because default font size 9 is too small.
The fix is in the night builds.