[jedit:patches] Re: #569 Allow specification of sizes for fallback fonts.
Rafal Kolanski via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/patches/569/c04b7a36b3116e48598b6ebe6f9fcf5ae8663d99.patches@jedit.p.sourceforge.net> |
Glad I'm not the only one using the feature. Please see here: https://sourceforge.net/p/jedit/patches/628/ also, you might be able to weigh in on the font "latching" during substitution at https://sourceforge.net/p/jedit/bugs/4114/ --- ** [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:** Thu Sep 30, 2021 10:52 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