Hello,
I think it would be nice, if there was a possibility in
jEdit to select different fonts for different languages.
I use jEdit mainly to write programs, and then I only
use English, of course. However, I also use it to write
letters, notes, etc., and I usually do that in
Hungarian or Japanase. Now, I have found 1 font (the
famous bitstream cyberbit), that is capable of
displaying both iso 8859-2 and Japanese, but it is not
monospaced, so I cannot use it for programming.
Therefore, I think it would be very useful to have the
option of using more than one font for displaying text.
I could use Monospaced for English and Hungarian, and
the Japanese characters I write could be detected as
such, and displayed in another font.
The configuration could work like this: in the "Global
Options" dialog, the user could set the default font
for the text area (as he can now). However, pressing an
"Advanced" button, a new dialog would pop up,
presenting the user with a list of languages and the
fonts associated with them.
Languages could be specified as Unicode script blocks.
The Font.canDisplay() functions could be for the
checks. I also think that this behaviour should be able
to be disabled by the user, as it may slow down the
editor -- I do not know to what extent, though. Maybe
it would be the best, if it was implemented as a plugin.
Logged In: YES
user_id=1483238
Aren't Java Font Configuration Files for that?
http://java.sun.com/j2se/1.5.0/docs/guide/intl/fontconfig.ht
ml
FYI, I'm using Monospaced on Windows XP, and it can
display mixed languages (including Japanese) text with
monospaced font. Then I didn't have to change default
fontconfig files.
Logged In: YES
user_id=1483238
Originator: NO
This should be closed unless more info is added.
Logged In: YES
user_id=1312539
Originator: NO
This Tracker item was closed automatically by the system. It was
previously set to a Pending status, and the original submitter
did not respond within 14 days (the time period specified by
the administrator of this Tracker).