[jedit:patches] #569 Allow specification of sizes for fallback fonts.
Isaac Oscar Gariano via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/patches/569/c86a9a8514eca8c0d14a3a41dc1a630e0801f649.patches@jedit.p.sourceforge.net> |
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. --- ** [patches:#569] Allow specification of sizes for fallback fonts.** **Status:** closed-accepted **Group:** **Created:** Fri Aug 28, 2015 08:18 PM UTC by Rafal Kolanski **Last Updated:** Tue Mar 31, 2020 10:33 PM UTC **Owner:** Matthieu Casanova **Attachments:** - [0001-Allow-specification-of-sizes-for-fallback-fonts.patch](https://sourceforge.net/p/jedit/patches/569/attachment/0001-Allow-specification-of-sizes-for-fallback-fonts.patch) (3.9 kB; text/x-patch) Not all fonts are the same pixel size for a given point size and presumably the user wants the final metrics to match. Given that now the user can specify preferred fallback font sizes, that leaves system-fallback fonts, which don't come with size info. Since java.awt.GraphicsEnvironment.getAllFonts returns a font size of 1, we scale those fonts up to the main font point size. So if you know what you're doing, you can set up fonts precisely the way you like, and if you don't, you can just select the system font fallback behavior and get the previous outcome. --- Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/patches/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel