JPEXS Free Flash Decompiler Issue Tracker

If you are looking for the decompiler itself, visit https://github.com/jindrapetrik/jpexs-decompiler

+ update 2020: WARNING - support of the decompiler is now VERY LIMITED. There are no active developers. This means we will NOT develop new features and/or fix most of bugs. We left the tracker running in case somebody from community would like to work on it. Sorry for the inconvenience.

List of issuesList of issues

#1313 Font Change
Date created:
Type: feature
Visibility: Everybody
Assigned to:
State: upgraded Help

Current font is too small. And not readable. And watery eyes. Add properties to change: font family, font name, font size, font style;
Downloadfonts.jpg (212 KiB)
user
quality format PNG
Downloadfonts.png (499 KiB)
developer
Please try the latest nightly. Settings/Advanced Settings/Display/Source font style. Be careful, this window is not foolproof, so please enter only valid values (FontName-Style-Size) I know that a font picker dialog would be better, but it was easy/faster to implement in this way. I've created a feature request for the dialog: #1316
State: new→upgraded