: WARNING - support of the decompiler is now VERY LIMITED. There are no active developers. This means waiting times in the issue tracker are very long and mostly depend on community. 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
 
Google Translate: Translate to Czech Translate to Slovak Translate to Russian Translate to Hungarian Translate to Swedish Translate to French Translate to German Translate to Spanish Translate to Italian
Change style: oceanic classic