[ jEdit-devel ] [ jedit-Bugs-1097220 ] Support multiple fonts

[SourceForge.net <no...@so...>]

Bugs item #1097220, was opened at 2005-01-06 16:26
Message generated for change (Comment added) made by mr3038
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1097220&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: text area and syntax packages
Group: None
Status: Closed
Resolution: Invalid
Priority: 5
Submitted By: Lapo Luchini (lapo)
Assigned to: Nobody/Anonymous (nobody)
Summary: Support multiple fonts

Initial Comment:
It would be awesome if jEdit had the possibility to use
different fonts for different languages (as Mozilla
does) as sometimes it happens to edit a page that
contains e.g. both japanese and hebrew... and no font
that I know of contains both.
I don't know exactly how Mozilla achieves that, but it
"recognizes" when Arial must be used (for western
languages), when MS Mincho (for Japanese) and so on...

----------------------------------------------------------------------

Comment By: Mikko Rantalainen (mr3038)
Date: 2005-06-03 11:16

Message:
Logged In: YES 
user_id=810055

I think that Mozilla has really elegant way to do this: have
a priority ordered (set by user) list of fonts to use.
Always try to get the required glymph from the first font.
It that fails, try the second. If that fails, try the third
and so on.
This results in some characters rendered with a different
font (with possibly slightly different size and kerning) but
all characters can still be rendered. Also, the user isn't
required to use one font that still has all the characters
one needs which usually also is the ugliest font in the system.


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1097220&group_id=588