3 ms·
This new version 0.16.0 will support more fonts, and will be released in the middle of this month.
by jocs 7y ago
This new version 0.16.0 will support more fonts, and will be released in the middle of this month.
- yellowapple 7y agoDoes "more fonts" mean "any font installed on my system"? Or does it mean "a bigger hardcoded list of fonts"? If the latter, will that list include Computer Modern?